Studia Logica 103 (1):175-217 (2015)

Authors
Paolo Maffezioli
University of Barcelona
Abstract
This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations
Keywords Classical modal logics  Neighborhood semantics  Labelled sequent systems
Categories (categorize this paper)
DOI 10.1007/s11225-014-9556-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.

Add more references

Citations of this work BETA

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Proof Theory for Quantified Monotone Modal Logics.Sara Negri & Eugenio Orlandelli - 2019 - Logic Journal of the IGPL 27 (4):478-506.

View all 6 citations / Add more citations

Similar books and articles

Labeled Sequent Calculi for Modal Logics and Implicit Contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Admissibility of Cut in Congruent Modal Logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
Labelled Non-Classical Logics.Luca Viganò - 2000 - Boston, MA, USA: Kluwer Academic Publishers.
Proof Analysis in Intermediate Logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Decision Procedures for Some Strong Hybrid Logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
Labelled Modal Logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Some Multi-Conclusion Modal Paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.

Analytics

Added to PP index
2014-06-18

Total views
50 ( #228,772 of 2,520,806 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,806 )

How can I increase my downloads?

Downloads

My notes