Objectif
L'objectif de ce module est de donner les bases des logiques utiles en informatique et en particulier en intelligence artificielle.
Plan
Logiques modales.
Définitions de base.
Notion de type de similarité.
Modèles de Kripke.
Morphismes et bissimulations. Modèles canoniques.
Etude de logiques modales standard. Complétude et adéquation.
Décidabilité du problème de la validité d'une formule.
Liens avec la logique classique. Fragment gardé de la logique classique.
Systèmes de Gentzen.
Logiques temporelles.
Généralités.
Logiques temporelles vues comme des logiques modales particulières.
Autre logiques temporelles (dont la logique d'Allen) et spatio-temporelles.
Logique intuitionniste.
Définition. Sémantique de Kripke.
Liens avec la logique classique et la logique modale S4.
