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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
M |= A<br />
<strong>un</strong>e formule A est valide dans <strong>un</strong> modèle M = (W, R, v) ssi A est<br />
vraie dans tous les mondes possibles du modèle<br />
(W, R) |= A<br />
<strong>un</strong>e formule A est valide dans <strong>un</strong> système (W, R) ssi A est vraie<br />
dans tout modèle M = (W, R, v)<br />
|= A<br />
<strong>un</strong>e formule A est valide (ou est <strong>un</strong>e tautologie ), ssi A est vraie<br />
dans tout système (W, R)<br />
12