Logiques modales

Jean Goubault-Larrecq

• Introduction et motivation
• S4 et logiques non monotones
  • Syntaxe
  • Logique philosophique et logiques non monotones
  • Sémantique de Kripke
  • Décidabilité
  • Systèmes de séquents et tableaux
• Autres logiques modales utilisées en informatique
• Vérification de modèles
  • Machines séquentielles et vérification de modèle
  • Diagrammes de décision binaire
  • Développements
• References

This document was translated from L^AT_EX by H^EV^EA.

This document was cut into pieces by H^AC^HA.