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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
traduction des relations RCC8 <strong>en</strong> <strong>logique</strong> <strong>modale</strong> S4 :<br />
relations contraintes de modèle contraintes d ′ infér<strong>en</strong>ce<br />
DC(X, Y ) ¬(X ∧ Y ) ¬X, ¬Y<br />
EC(X, Y ) ¬(I X ∧ I Y ) ¬X ∨ ¬Y, ¬X, ¬Y<br />
P O(X, Y ) ¬(I X ∧ I Y ), X → Y, Y → X,<br />
¬X, ¬Y<br />
T P P (X, Y ) X → Y X → I Y, Y → X, ¬X, ¬Y<br />
T P P −1 (X, Y ) Y → X Y → I X, X → Y, ¬X, ¬Y<br />
NT P P (X, Y ) X → I Y Y → X, ¬X, ¬Y<br />
NT P P −1 (X, Y ) Y → I X X → Y, ¬X, ¬Y<br />
EQ(X, Y ) X ↔ Y ¬X, ¬Y<br />
26