Représenter l'espace en logique modale : un panorama - IRIT

sémantique de la logique modale parallélisme :
sémantique des “mondes possibles”
modèle : M =< Li, ‖, m >
W : Li
m valuation : m(p i ) ⊆ Li
R : ‖ relation de parallélisme : irréflexive, symétrique,
pseudo-transitive
• M, x |= □ ‖ a ssi ∀y ∈ Li tel que si x ‖ y, M, y |= a.
• M, x |= ♦ ‖ a ssi ∃y ∈ Li tel que si x ‖ y, M, y |= a.
53