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.
sémantique de la <strong>logique</strong> <strong>modale</strong> de l’incid<strong>en</strong>ce :<br />
sémantique des “mondes possibles”<br />
modèle : M =< P o, Li, in, m ><br />
W : < P o, Li ><br />
R : in relation d’incid<strong>en</strong>ce<br />
m valuation : m(P i ) ⊆ P o<br />
m(p i ) ⊆ Li<br />
• M, X |= □ P a ssi ∀x ∈ Li tel que X in x, M, x |= a.<br />
• M, x |= □ d A ssi ∀X ∈ P o tel que X in x, M, X |= A.<br />
• M, X |= ♦ P a ssi ∃x ∈ Li tel que X in x, M, x |= a.<br />
• M, x |= ♦ d A ssi ∃X ∈ P o tel que X in x, M, X |= A.<br />
50