TC-Inf-RI1 : Logique modale

Présentation

Ce cours fait partie du tronc commun du M2 du master SIS. Il présente les logiques modales.

Objectifs

Ce cours constitue une introduction aux logiques modales. Les buts visés sont :

  • Comprendre l'utilité des logiques modales et ce qu'elles ajoutent à la logique classique. Dresser un rapide panorama des différentes logiques modales.
  • Comprendre la syntaxe des logiques modales et l'axiomatique des principaux systèmes formels associés, des plus simples aux plus évolués (systèmes \(K\), \(KT\), \(S4\), \(S5\)).
  • Comprendre la sémantique de Kripke associée aux logiques modales. Comprendre le lien entre l'axiomatique et les propriétés de la relation d'accessibilité.
  • Comprendre l'extension de la méthode des tableaux sémantiques aux logiques modales.
  • Comprendre comment utiliser la méthode des tableaux sémantiques pour raisonner en logique modale.
  • Comprendre l'utilisation de la logique modale dans le cadre de systèmes multi-agent.

Supports

Vous trouverez les supports de cours ici au fur et à mesure de leur mise à disposition.

Cours

fabriqué avec org-mode sous emacs