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.
W : l’<strong>en</strong>semble des interprétations du langage<br />
relation d’accessibilité : R<br />
ω, ω ′ ∈ W, ωRω ′ : ω ′ est accessible à partir de ω<br />
valuation : v<br />
W × P → {0, 1} associe <strong>un</strong>e valeur de vérité v(ω, p) à la variable<br />
p dans l’interprétation ω<br />
modèle : M = (W, R, v)<br />
M, ω |= F : F est vraie dans le monde possible ω pour le modèle<br />
M<br />
10