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 (to include M, C, and N) in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
Similar content being viewed by others
References
Chellas B., Modal Logic: An Introduction. Cambridge University Press. Cambridge 1980.
Fitting, M., Proof theory for modal logic, in P. Blackburn, J. Van Benthem, and F. Wolter, (eds), Handbook of Modal Logic. Elsevier, Amsterdam, 2007.
Gabbay, D., Labelled Deductive Systems: Volume 1. Clarendon Press, Oxford, 1996.
Gasquet, O., and A. Herzig, From classical to normal modal logics, in H. Wansing, (ed.), Proof Theory of Modal Logic. Kluwer, 1996, pp. 293–311.
Gentzen, G., Investigations into logical deduction, in M. Szabo, (ed.), The Collected Papers of Gerhard Gentzen. North-Holland, 1969, pp. 68–131.
Governatori, L., and A. Luppi, Labelled tableaux for non-normal modal logics, in Sixth Conference of the Italian Association for Artificial Intelligence, AI*IA ’99, 2000, pp. 119–130.
Hansen, H. H., Monotonic modal logics. Master’s thesis, University of Amsterdam, 2003.
Hansen, H. H., Tableau games for coalition logic and alternating-time temporal logic—theory and implementation. Master’s thesis, University of Amsterdam, 2004.
Hansen, H. H., C. Kupke, and E. Pacuit, Neighborhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science 5:1–38, 2009.
Indrzejczak A., Sequent calculi for monotonic modal logics. Bulletin of the Section of Logic 34(3):151–164, 2005.
Indrzejczak A., Admissibility of cut in congruent modal logics. Logic and Logical Philosophy 21:189–203, 2011.
Kracht, M., and F. Wolter, Normal monomodal logics can simulate all others. The Journal of Symbolic Logic 64:99–138, 1999.
Lavendhomme R., T. Lucas.: Sequent calculi and decision procedures for weak modal systems.. Studia Logica 66, 121–145 (2000)
Montague, R., Universal grammar. Theoria 36:373–398, 1970.
Negri S.: Proof analysis in modal logic. Journal of Philosophical Logic 34, 507–544 (2005)
Negri, S., Kripke completeness revisited, in G. Primiero and S.Rahman, (eds.), Acts of Knowledge—History, Philosophy and Logic. College Publications, 2009, pp. 242–282.
Negri S.: Proofs and countermodels in non-classical logics. Logica Universalis 8, 25–60 (2014)
Negri, S., Proof analysis beyond geometric theories: from rule systems to systems of rules. Journal of Logic and Computation. (in press).
Negri, S., and J. von Plato, Structural Proof Theory. Cambridge University Press, Cambridge, 2001.
Negri, S., and J. von Plato, Proof Analysis: A Contribution to Hilbert’s Last Problem. Cambridge University Press, Cambridge, 2011.
Scott, D., Advice on modal logic, in K. Lambert, (ed.), Philosophical Problems in Logic: Some Recent Developments. Reidel, Dordrecht, 1970.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gilbert, D.R., Maffezioli, P. Modular Sequent Calculi for Classical Modal Logics. Stud Logica 103, 175–217 (2015). https://doi.org/10.1007/s11225-014-9556-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9556-1