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.
ésultats de correction et de complétude<br />
le système formel K<br />
⊢ A ssi |= A (les formules qui sont des théorèmes du système K<br />
sont des tautologies pour la classe K)<br />
système formel T<br />
□A → A est <strong>un</strong>e tautologie ssi R est réflexive<br />
système formel S4<br />
□A → □□A est <strong>un</strong>e tautologie ssi R est transitive<br />
système formel S5<br />
¬□A → □¬□A est <strong>un</strong>e tautologie ssi R est euclidi<strong>en</strong>ne<br />
19