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.
classification selon les propriétés de R<br />
• K: <strong>logique</strong> <strong>modale</strong> la plus faible, □(A → B) → (□A → □B)<br />
• T : systèmes réflexifs, R est réflexive, □A → A<br />
• K4 : systèmes transitifs, R est transitive, □A → □□A<br />
• S4 : systèmes réflexifs et transitifs, R est réflexive et transitive<br />
• KB : systèmes symétriques, R est symétrique, □A → □♦A<br />
• B : systèmes réflexifs et symétriques, R est réflexive et<br />
symétrique<br />
• S5: systèmes réflexifs, symétriques et transitifs R est <strong>un</strong>e<br />
relation d’équival<strong>en</strong>ce, ¬□A → □¬□A<br />
14