Sequent calculi for modal logic

• Auteur / Autrice : Francesca Poggiolesi
• Direction : Gabriel Sandu, Pierluigi Minari
• Type : Thèse de doctorat
• Discipline(s) : Philosophie
• Date : Soutenance en 2008
• Etablissement(s) : Paris 1 en cotutelle avec Università degli Studi di Firenze

Mots clés

Mots clés contrôlés

Théorie de la démonstration

Décidabilité (logique mathématique)

Modalité (logique)

Résumé

La logique modale - la logique conçue pour traiter rigoureusement certaines notions telles que nécessité et possibilité - connaît aujourd'hui sa meilleure période: du côté sémantique, de récents résultats ont en effet mis en évidence la force et la profondeur de cette logique. En revanche, l'état de la recherche n'est pas aussi avancé du côté syntaxique, puisqu'il n'existe pour le moment aucun bon calcul des séquents pour les principaux systèmes de logique modale. Est-il possible de combler cette lacune? Notre travail donne à cette question une réponse positive en offrant un bon instrument de calcul pour la logique modale et en la mettant ainsi en valeur même sous un point de vue syntaxique.