logique dynamique
Sign in to saveextension of modal logic
Article · Français
La logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines.
Abstract from DBpedia / Wikipedia · CC BY-SA