Représenter l'espace en logique modale : un panorama - IRIT
Représenter l'espace en logique modale : un panorama - IRIT
Représenter l'espace en logique modale : un panorama - IRIT
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Logique <strong>modale</strong> de la proximité : système formel<br />
Axiomes du calcul propositionnel A 1 , A 2 , A 3 et K, A, S :<br />
K :<br />
(□(A → B) → (□A → □B)),<br />
A : □A ∧ A → □□A,<br />
S : A → □♦A.<br />
Règles d’infér<strong>en</strong>ce : modus pon<strong>en</strong>s, nécéssitation<br />
la <strong>logique</strong> <strong>modale</strong> de la proximité :<br />
complète et décidable<br />
critiques:<br />
expressivité<br />
n∧<br />
♦♦(□(p i ∧ ¬( ∨ p j )))<br />
i=1 i≠j<br />
cohér<strong>en</strong>tes mais pour n = 6, pas de configuration dans le plan<br />
32