Abstract
In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole.
Similar content being viewed by others
References
Fagin, R., J. Y. Halpern, Y. Moses and M. Y. Verdi, (1995), Reasoning about Knowledge, The MIT Press, Cambridge.
Chellas, B. F., (1980), Modal Logic: An Introduction, Cambridge University Press, Cambridge.
Fitting, M., and R. L. Mendelsohn, (1998), First-Oder Modal Logic, Kluwer Academic Publisher, London.
Garson, J. W., (1984), ‘Quantification in modal logic’, Handbook of Philosophical Logic II, eds. D. Gabbay and F. Guenthner. D. Reidel Publishing Company, Dordrecht, 249-307.
Halpern, J. H. and Y. Moses, (1992), A Guide to Completeness and Complexity for Modal Logics of Knowledge and Beliefs, Artificial Intelligence54, 319-379.
Heifetz, A., (1999), ‘Iterative and fixed point common belief’, Journal of Philosophical Logic28, 61-79.
Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic, Methuen & Co. London.
Kaneko, M., (1999), ‘Common knowledge logic and Game Logic’, Journal of Symbolic Logic64, 685-700.
Kaneko, M., (2002), ‘Epistemic logics and their applications: Introduction’. The special issue “Logic and Economics” in Economic Theory19, 7-62.
Kaneko, M., and T. Nagashima, (1996), ‘Game logic and its applications I’, Studia Logica57, 325-354.
Kaneko, M., and T. Nagashima, (1997), ‘Game logic and its applications II’, Studia Logica58, 273-303.
Kaneko, M., and N.-Y. Suzuki, (2001), Bounded Interpersonal Inferences and Decision Making. The special issue “Logic and Economics” in Economic Theory19, 63-103.
Karp, C., (1964), Languages with Expressions of Infinite Lengths, North-Holland. Amsterdam.
Lismont, L., and P. Mongin, (1994), ‘On the logic of common belief and common knowledge’, Theory and Decision37, 75-106.
Meyer, J.-J. Ch., and W. van der Hoek, (1995), Epistemic Logic for AI and Computer Science, Cambridge University Press.
Segerberg, K., (1994), ‘A model existence theorem in infinitary propositional modal logic’, Journal of Philosophical Logic23, 337-367.
Rasiowa, H. and R. Sikorski, (1963), The Mathematics of Metamathematics, PWN, Warszawa.
Sturm, H., F. Wolter and M. Zakharyaschev, ‘Monodic epistemic predicate logic’. The special issue “Logic and Economics” in Economic Theory17, 153-186.
Tanaka, Y., (2000a), ‘Some proof system for common knowledge predicate logic’. Mimeo.
Tanaka, Y., (2001), ‘Model existence in non-compact modal logic’. Studia Logica67, 61-71.
Tanaka, Y., (1999), ‘Kripke completeness of infinitary predicate multi-modal logics’. To appear in Notredame Journal of Formal Logic40, 326–340.
Tanaka, Y., and H. Ono, (2001), ‘The Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics’, pp. 401-419 in M. Zakharyaschev et. al(eds.), Advances in Modal Logics 2, CSLI Publications, Stanford.
Wolter, F., (1998), ‘First order common knowledge logics’. The proceedings of the Loft3 conference.
Wolter, F., (2000), ‘First order common knowledge logics’, Studia Logica65, 249-271. This is a revised version of [23].
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kaneko, M., Nagashima, T., Suzuki, NY. et al. A Map of Common Knowledge Logics. Studia Logica 71, 57–86 (2002). https://doi.org/10.1023/A:1016387008323
Issue Date:
DOI: https://doi.org/10.1023/A:1016387008323