Abstract
An axiomatic system is presented in this paper, which has a modal operator □ such that \(\Box\phi\equiv\Box_1\phi\land\Box_2\phi\), where □1 and □2 are the modal operators of the language for the axiom system S5. The axiomatic system for □ is proved to be sound and complete.
Chapter PDF
Similar content being viewed by others
References
Hughes, G.E., Cresswell, M.J.: A new introduction to modal logic. Burns & Oates (1996)
Lin, T.Y., Liu, Q.: First-order rough logic i: approximate reasoning via rough sets. Fundamenta Informaticae 27(2), 137–153 (1996)
Ebbinghaus, H.-D., Flum, J., Thomas, W.: Mathematical logic. Springer (1994)
Carnielli, W.A., Pizzi, C., Bueno-Soler, J.: Modalities and multimodalities, vol. 12. Springer (2008)
Corsi, G., Orlandelli, E.: Free quantified epistemic logics. Studia Logica 101(6), 1159–1183 (2013)
Blanco, R., Casado, G.d.M., Requeno, J.I., Colom, J.M.: Temporal logics for phylogenetic analysis via model checking. In: 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW), pp. 152–157. IEEE (2010)
Proietti, C.: Intuitionistic epistemic logic, kripke models and fitch’s paradox. Journal of philosophical logic 41(5), 877–900 (2012)
van Benthem, J., Minică, Ş.: Toward a dynamic logic of questions. In: Logic, Rationality, and Interaction, pp. 27–41. Springer (2009)
Sietsma, F., van Eijck, J.: Action emulation between canonical models. In: Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory, p. 6 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Deng, S., Sun, M., Cao, C., Sui, Y. (2014). A Sound and Complete Axiomatic System for Modality \(\Box\phi\equiv\Box_1\phi\land\Box_2\phi\) . In: Shi, Z., Wu, Z., Leake, D., Sattler, U. (eds) Intelligent Information Processing VII. IIP 2014. IFIP Advances in Information and Communication Technology, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44980-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-662-44980-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44979-0
Online ISBN: 978-3-662-44980-6
eBook Packages: Computer ScienceComputer Science (R0)