Nested Sequents or Tree-hypersequents -A survey - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Chapitre D'ouvrage Année : 2022

Nested Sequents or Tree-hypersequents -A survey

Résumé

This paper presents an overview of the methods of nested sequents or treehypersequents that were originally introduced to provide a comprehensive proof theory for modal logic. The paper retraces the history of how these methods have developed. Its aim is also to present, in an unified and harmonious way, the most recent results that have been obtained in this framework. These results encompass several technical achievements, such as the interpolation theorem and the construction of countermodels. Special emphasis is also given to the application to logics other than the standard modal ones as well as to relations to other proof theoretic formalisms.
Fichier principal
Vignette du fichier
surveynestedsequentsmain (1).pdf (430.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03590537 , version 1 (14-03-2022)
hal-03590537 , version 2 (13-10-2022)

Identifiants

  • HAL Id : hal-03590537 , version 2

Citer

Björn Lellmann, Francesca Poggiolesi. Nested Sequents or Tree-hypersequents -A survey. R. Padro and Yale Weiss. Saul Kripke on Modal Logic, Springer, In press, Outstanding Contributions to Logic. ⟨hal-03590537v2⟩
130 Consultations
250 Téléchargements

Partager

Gmail Facebook X LinkedIn More