Abstract
The global consequence relation of a normal modal logic \(\Lambda \) is formulated as a global sequent calculus which extends the local sequent theory of \(\Lambda \) with global sequent rules. All global sequent calculi of normal modal logics admits global cut elimination. This property is utilized to show that decidability is preserved from the local to global sequent theories of any normal modal logic over \(\mathsf {K4}\). The preservation of Craig interpolation property from local to global sequent theories of any normal modal logic is shown by proof-theoretic method.
Similar content being viewed by others
References
Bimbó, K., Proof Theory: Sequent Calculi and Related Formalisms, CRC Press, Taylor and Francis Group, Boca Raton, 2015.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, Oxford, 2001.
Goranko, V., and M. Otto, Model theory of modal logic. In P. Blackburn et al. (eds.), Handbook of Modal Logic, Elsevier, B. V., 2007, pp. 249–329.
Goranko, V., and S. Passy, Using the universal modality: gains and questions. Journal of Logic and Computation 2: 5–30, 1992.
Kapron, B. M., Modal Sequents and Definability, Master Thesis, Department of Mathematics and Statistics, Simon Fraser University, 1986.
Kapron, B. M., Modal sequents and definability. The Journal of Symbolic Logic 52(3): 756–762, 1987.
Kracht, M., Tools and Techniques in Modal Logic, Elsevier, 1999.
Kracht, M., Reducing modal consequence relations. Journal of Logic and Computation 11(6): 879–907, 2001.
Kracht, M., Modal consequence relations. In P. Blackburn, J. van Benthem and F. Wolter (eds.). Handbook of Modal Logic, Elsevier, B. V., 2007, pp. 491–545.
Maksimova, L. L., Interpolation theorems in modal logic and amalgamable varieties of topo-boolean algebras. Algebra i Logika 18: 556–586, 1978.
Maksimova, L. L., The Beth properties, interpolation, and amalgamability in varieties of modal algebras. Soviet Mathematical Doklady 44: 327–331, 1992.
Maksimova, L. L., Definability and interpolation in classical modal logics. Contemporary Mathematics 131: 583–599, 1992.
Ono, H., Proof-theoretic methods in nonclassical logic – an introduction. In M. Takahashi, M. Okada and M. Dezani-Ciancaglini (eds.), Theories of Types and Proofs, Mathematical Society of Japan, Tokyo, 1998, pp. 207–254.
Poggiolesi, F., Gentzen Calculi for Modal Propositional Logic. Springer, 2010.
Segerberg, K., Classical Propositional Operators. Clarendon Press, Oxford, 1982.
Spaan, E., Complexity of Modal Logics. Ph.D. thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1993.
Takano, M., Subformula property as a substitute for cut-elimination in modal propositional logics. Mathematica Japonica 37: 1129–1145, 1992.
Takano, M., A modified subformula property for the modal logics K5 and K5D. Bulletin of the Section of Logic 30(2): 115–122, 2001.
Wansing, H., Sequent systems for modal logics, In D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Kluwer Academic Publishers, 2002, pp. 61–145.
Wolter, F., Solution to a problem of Goranko and Passy. Journal of Logic and Computation 4: 21–22, 1994.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Andrzej Indrzejczak
Rights and permissions
About this article
Cite this article
Ma, M., Chen, J. Sequent Calculi for Global Modal Consequence Relations. Stud Logica 107, 613–637 (2019). https://doi.org/10.1007/s11225-018-9806-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9806-8