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> des voisinages : système formel<br />
Axiomes du calcul propositionnel A 1 , A 2 , A 3 et K, 5 :<br />
K :<br />
(□ v (A → B) → (□ v A → □ v B)),<br />
5 : ♦ v A → □ v ♦ v A.<br />
Règles d’infér<strong>en</strong>ce : modus pon<strong>en</strong>s, nécéssitation<br />
(règle N v ) :<br />
Γ⊢A<br />
Γ⊢□ v A .<br />
la <strong>logique</strong> <strong>modale</strong> des voisinages :<br />
complète et décidable<br />
critiques:<br />
expressivité<br />
46