Display calculi and other modal calculi: a comparison - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Article Dans Une Revue Synthese Année : 2010

Display calculi and other modal calculi: a comparison

Résumé

In this paper we introduce and compare four different syntactic methods for generating sequent calculi for the main systems of modal logic: the multiple sequents method, the higher-arity sequents method, the tree-hypersequents method and the display method. More precisely we show how the first three methods can all be translated in the fourth one. This result sheds new light on these generalisations of the sequent calculus and raises issues that will be examined in the last section.
Fichier principal
Vignette du fichier
varicalcolimodali5 (1).pdf (231.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-00775789 , version 1 (04-07-2018)

Identifiants

Citer

Francesca Poggiolesi. Display calculi and other modal calculi: a comparison. Synthese, 2010, 173 (3), pp.259-279. ⟨10.1007/s11229-008-9425-4⟩. ⟨halshs-00775789⟩
187 Consultations
151 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More