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.
Les systèmes formels modaux<br />
axiomes, A1, A2, A3, K<br />
Système formel K :<br />
Système formel KT :<br />
axiomes, A1, A2, A3, K et T :<br />
□ A → A<br />
Système formel KT4 ou S4 :<br />
axiomes : A1, A2, A3, K, T et 4 :<br />
□ A → □ □ A<br />
Système formel KT45 ou S5 :<br />
axiomes : A1, A2, A3, K, T, 4 et 5 :<br />
♦ A → □ ⋄ A<br />
18