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

sémantique de la logique modale de la distance
M, ω |= φ : φ est vraie au point ω pour le modèle M
relation d’accèssibilité :
ω R a ω ′ ssi d(ω, ω ′ ) ≤ a
ω Rā ω ′ ssi d(ω, ω ′ ) > a
• M, ω |= A ≤a φ ssi ∀ω ′ ∈ W tel que ω R a ω ′ , M, ω ′ |= φ.
• M, ω |= A >a φ ssi ∀ω ′ ∈ W tel que ω Rā ω ′ , M, ω ′ |= φ.
• M, ω |= E ≤a φ ssi ∃ω ′ ∈ W tel que ω R a ω ′ , M, ω ′ |= φ.
• M, ω |= E >a φ ssi ∃ω ′ ∈ W tel que ω Rā ω ′ , M, ω ′ |= φ.
36