Représenter l'espace en logique modale : un panorama - IRIT

Logique modale du parallélisme : système formel
Axiomes du calcul propositionnel A 1 , A 2 , A 3 l’axiome K, et des
axiomes supplémentaires :
a → □ ‖ ♦ ‖ a
a ∧ □ ‖ a → □ ‖ □ ‖ a
Règles d’inférence : modus ponens, nécéssitation et une règle
d’irréflexivité de □ ‖ :
(□ ‖ ∧¬p)→a, pour une variable p ne figurant pas dans a
a
la logique modale de l’incidence :
complète et décidable
complexité : NP-complet
54