Fiche du document
2010
- handle: 10670/1.fukoas
- isbn: 978-1-84890-003-5
- halshs: halshs-00775814
info:eu-repo/semantics/OpenAccess
Mots-clés
logicSujets proches
Calculus (Pathology) Concretions (Pathology) Stones (Pathology)Citer ce document
Francesca Poggiolesi, « Reflecting the Semantic Features of S5 at the Syntactic Level », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.fukoas
Métriques
Partage / Export
Résumé
In this paper we present two different sequent calculi for modal logic S5, each of which reflects, at the syntactic level, one of the two ways of describing S5 semantically. We will analyze both these sequent calculi in detail and we will briefly sketch the proofs of: (i) adequacy of the calculi, (ii) admissibility of the structural rules, cut-rule included. All results are proved in a purely syntactic way. Contraction-free, Cut-free, Modal logic, Sequent Calculus, Tree-hypersequents.