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

sémantique de la logique modale de l’ailleurs :
sémantique des “mondes possibles” [KRIPKE 63]
□ A : est vraie à la position i si A est vraie pour toute autre
position qui peut être atteinte à partir de i.
♦ A : est vraie à la position i si A est vraie en certaines
positions qui peut être atteinte à partir de i.
• M, ω |= □A ssi ∀ω ′ ∈ W\{ω}, M, ω ′ |= A.
• M, ω |= ♦A ssi ∃ω ′ ∈ W\{ω}, M, ω ′ |= A.
relation d’accèssibilité : ωRω ′ ssi ω ≠ ω ′ :
symétrique et faiblement transitive
28