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.
Règles d’infér<strong>en</strong>ce :<br />
modus pon<strong>en</strong>s, règles de nécéssitation pour A ≤a et pour A >a , avec<br />
(a ∈ M)<br />
(règle N1 ) :<br />
Γ⊢φ<br />
Γ⊢A ≤a φ<br />
(règle N2 ) :<br />
Γ⊢φ<br />
Γ⊢A >a φ . 40