Abstract
Normal update logic is the temporalization of normal conditional logic. Sequent calculi for the least normal update logic \(\mathbf {UCK}\) by Andreas Herzig (1998) and some of its extensions are developed. The subformula property of these sequent calculi is shown by Takano’s semantic method. Consequently we prove the finite model property and decidability of these sequent calculi.
K. Sano—Partially supported by JSPS KAKENHI Grant-in-Aid for Young Scientists (B) Grant Number 15K21025 and Grant-in-Aid for Scientific Research (B) Grant Number 17H02258, and JSPS Core-to-Core Program (A. Advanced Research Networks).
M. Ma—Supported by the key project of National Social Science Found of China (Grant no. 18ZDA033).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequent calculi for normal conditional logics. J. Logic Comput. 26(1), 7–50 (2013)
Burgess, J.P.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Reidel, Dordrecht, vol. II, pp. 89–133 (1984)
Chellas, B.F.: Basic conditional logic. J. Philosophcal Logic 4(2), 133–153 (1975)
Chellas, B.F.: Modal Logic. Cambridge University Press, Cambridge (1980)
de Swart, H.C.: A Gentzen-or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS. J. Symbolic Logic 48(1), 1–20 (1983)
Gent, P.: A sequent- or tableau-style system for Lewis’s counterfactual logic. Notre Dame J. Formal Logic 33(3), 369–382 (1992)
Gentzen, G.: Untersuchungen über das logische Schließen, Mathematische Zeitschrift, 39(1), pp. 176–210 (1935)
Girlando, M., Lellmann, B., Olivetti, N., Pozzato, G.L.: Standard sequent calculi for Lewis’ logics of counterfactuals. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 272–287. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48758-8_18
Herzig, A.: Logics for belief base updating. In: Dubois, D., Przde, H. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management System, vol. 3, pp. 189–231. Springer, Dordrecht (1998). https://doi.org/10.1007/978-94-011-5054-5_5
Kowalski, T., Ono, H.: Analytic cut and interpolation for bi-intuisionistic logic. The Review of Symbolic Logic, 10(2), pp. 259–283 (2017)
Lellmann, B., Pattinson, D.: Sequent systems for Lewis’ conditional logics. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 320–332. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33353-8_25
Maruyama, A.: Towards combined system of modal logics - a syntactic and semantic study, Ph.D. thesis, School of Information Science, Japan Advanced Institute of Science and Technology (2003)
Maruyama, A., Tojo, S., Ono, H.: Decidability of temporal epistemic logics for multi-agent models. In: Proceedings of the ICLP’01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), pp. 31–40 (2001)
Negri, S., Sabrdolini, G.: Proof analysis for Lewis counterfactuals. Rev. Symbolic Logic 9(1), 44–75 (2016)
Negri, S., Von Plato, J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)
Nishimura, H.: A study of some tense logics by Gentzen’s sequential method. Publ. Res. Inst. Math. Sci. 16, 343–353 (1980)
Ohnishi, M., Matsumoto, K.: Gentzen method in modal calculi II. Osaka J. Math. 11(2), 115–120 (1959)
Ono, H.: Semantical approach to cut elimination and subformula property in modal logic. In: Yang, S.C.-M., Deng, D.-M., Lin, H. (eds.) Structural Analysis of Non-Classical Logics. LASLL, pp. 1–15. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-48357-2_1
Pattinson, D., Schröder, L.: Generic modal cut elimination applied to conditional logic. Logical Methods Comput. Sci. 7(1:4), 1–28 (2011)
Takano, M.: Subformula property as a substitute for cut-elimination in modal propositional logics. Math. Jpn. 37(6), 1129–1145 (1992)
Takano, M.: A modified subformula property for the modal logics K5 and K5D. Bull. Sect. Logic 30(2), 115–122 (2001)
Takano, M.: A semantical analysis of cut-free calculi for modal logics. Rep. Math. Logic 53, 43–65 (2018)
Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge University Press, Cambridge (2000)
Zach, R.: Non-analytic tableaux for Chellas’s conditional logic CK and Lewis’s logic of counterfactuals VC. Australas. J. Logic 15(3), 609–628 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer-Verlag GmbH Germany, part of Springer Nature
About this paper
Cite this paper
Sano, K., Ma, M. (2019). Sequent Calculi for Normal Update Logics. In: Khan, M., Manuel, A. (eds) Logic and Its Applications. ICLA 2019. Lecture Notes in Computer Science(), vol 11600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58771-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-662-58771-3_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-58770-6
Online ISBN: 978-3-662-58771-3
eBook Packages: Computer ScienceComputer Science (R0)