Fiche du document
2022
- handle: 10670/1.ey4g6q
- hal: hal-03590537
info:eu-repo/semantics/OpenAccess
Sujets proches
Instruction and study--Methods Papers Instruction and study--MethodsCiter ce document
Björn Lellmann et al., « Nested Sequents or Tree-hypersequents -A survey », HAL-SHS : philosophie, ID : 10670/1.ey4g6q
Métriques
Partage / Export
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.