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.
Introduction<br />
La <strong>logique</strong> <strong>modale</strong> : ext<strong>en</strong>sion de la <strong>logique</strong> classique<br />
(propositionnelle ou des prédicats)<br />
□ : nécessité<br />
♦ : possibilité<br />
modalités :<br />
♦A = def<br />
¬□¬A<br />
4