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.
K, T , S4, S5 sont décidables<br />
résultats de décidabilité<br />
Mise <strong>en</strong> oeuvre du raisonnem<strong>en</strong>t <strong>en</strong> <strong>logique</strong> <strong>modale</strong><br />
• tableaux sémantiques<br />
[LoTREC 01], [TWB 03], [KSAT 96], [FaCT 98]<br />
• séqu<strong>en</strong>ts de G<strong>en</strong>tz<strong>en</strong><br />
20