Agent-Knowledge Logic for Alternative Epistemic Logic

Yuki Nishimura

doi:10.18778/0138-0680.2025.19

Authors

Yuki Nishimura Institute of Science Tokyo, School of Computing, Japan https://orcid.org/0009-0000-0475-1168

DOI:

https://doi.org/10.18778/0138-0680.2025.19

Keywords:

agent-knowledge logic, modal logic, epistemic logic, hybrid logic, tableau calculus

Abstract

Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of individual knowledge structures and the set of relationships among agents. This logic is based on the Facebook logic and the Logic of Hide and Seek Game. We show two main results; one is that this logic can embed the standard epistemic logic, and the other is that there is a proof system of tableau calculus that works in finite time. We also discuss various sentences and inferences that this logic can express.

References

P. Balbiani, S. F. González, Indexed Frames and Hybrid Logics, [in:] N. Olivetti, R. Verbrugge, S. Negri, G. Sandu (eds.), Advances in Modal Logic 13, College Publications, Chichester (2020), pp. 56–72.
Google Scholar

P. Blackburn, B. ten Cate, Pure Extensions, Proof Rules, and Hybrid Axiomatics, Studia Logica, vol. 84(2) (2006), pp. 277–322, DOI: https://doi.org/https://doi.org/10.1007/s11225-006-9009-6.
Google Scholar

T. Bolander, P. Blackburn, Termination for Hybrid Tableaus, Journal of Logic and Computation, vol. 17(3) (2007), pp. 517–554, DOI: https://doi.org/https://doi.org/10.1093/logcom/exm014.
Google Scholar

T. Braüner, Hybrid Logic and its Proof-Theory, vol. 37, Springer Science & Business Media (2011), DOI: https://doi.org/https://doi.org/10.1007/978-94-007-0002-4.
Google Scholar

Q. Chen, D. Li, Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability, [in:] N. Gierasimczuk, F. R. Velázquez-Quesada (eds.), Dynamic Logic. New Trends and Applications, Springer Nature Switzerland (2024), pp. 20–34, DOI: https://doi.org/https://doi.org/10.1007/978-3-031-51777-8_2.
Google Scholar

R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi, Reasoning about knowledge, MIT press (1995), DOI: https://doi.org/https://doi.org/10.7551/mitpress/5803.001.0001.
Google Scholar

D. M. Gabbay, Many-Dimensional Modal Logics: Theory and Applications, Elsevier North Holland (2003).
Google Scholar

J. Y. Halpern, Y. Moses, A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief, Artificial Intelligence, vol. 54(3) (1992), pp. 319–379, DOI: https://doi.org/https://doi.org/10.1016/0004-3702(92)90049-4.
Google Scholar

J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, 2nd ed., Cornell University Press (1962).
Google Scholar

A. Indrzejczak, Modal Hybrid Logic, Logic and Logical Philosophy, vol. 16(2-3) (2007), pp. 147–257, DOI: https://doi.org/https://doi.org/10.12775/LLP.2007.006.
Google Scholar

D. Li, S. Ghosh, F. Liu, Y. Tu, On The Subtle Nature of a Simple Logic of The Hide and Seek Game, [in:] Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings 27, Springer (2021), pp. 201–218, DOI: https://doi.org/https://doi.org/10.1007/978-3-030-88853-4_13.
Google Scholar

D. Li, S. Ghosh, F. Liu, Y. Tu, A Simple Logic of The Hide and Seek Game, Studia Logica, vol. 111(5) (2023), pp. 821–853, DOI: https://doi.org/https://doi.org/10.1007/s11225-023-10039-4.
Google Scholar

Y. Nishimura, Completeness of Tableau Calculi for Two-dimensional Hybrid Logics, Journal of Logic and Computation, vol. 35(3) (2025), p. exae018, DOI: https://doi.org/https://doi.org/10.1093/logcom/exae018.
Google Scholar

K. Sano, Axiomatizing Hybrid Products: How Can We Reason Many-Dimensionally in Hybrid Logic?, Journal of Applied Logic, vol. 8(4) (2010), pp. 459–474, DOI: https://doi.org/https://doi.org/10.1016/j.jal.2010.08.006.
Google Scholar

K. Sano, Paper Review: Logic in The Community, Journals of The Japanese Society for Artificial Intelligence, vol. 26(6) (2011), pp. 703–707, DOI: https://doi.org/https://doi.org/10.11517/jjsai.26.6_703, (written in Japanese).
Google Scholar

J. Seligman, F. Liu, P. Girard, Logic in the Community, [in:] Proceedings of the 4th Indian Conference on Logic and Its Applications, Springer Berlin Heidelberg (2011), pp. 178–188, DOI: https://doi.org/https://doi.org/10.1007/978-3-642-18026-2_15.
Google Scholar

J. Seligman, F. Liu, P. Girard, Facebook and the Epistemic Logic of Friendship, [in:] Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (2013), pp. 229–238.
Google Scholar

J. van Benthem, Epistemic Logic and Epistemology: The State of their Affairs, Philosophical Studies, vol. 128 (2006), pp. 249–76, DOI: https://doi.org/https://doi.org/10.1007/s11098-005-4052-0.
Google Scholar