Calculs des séquents pour la logique modale

par Francesca Poggiolesi

Thèse de doctorat en Philosophie

Sous la direction de Gabriel Sandu et de Pierluigi Minari.

Soutenue en 2008

à Paris 1 en cotutelle avec l'Università degli studi di Firenze .


  • 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.

  • Titre traduit

    Sequent calculi for modal logic


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (224 f.)
  • Annexes : Bibliogr. f. 189-194

Où se trouve cette thèse ?

  • Bibliothèque : Université Panthéon-Sorbonne. Bibliothèque Pierre Mendès France.
  • Consultable sur place dans l'établissement demandeur
  • Cote : R 08 : 26

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Bibliothèque interuniversitaire de la Sorbonne (Paris).
  • Non disponible pour le PEB
  • Cote : MC 10570
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.