Agent-Knowledge Logic for Alternative Epistemic Logic
| dc.contributor.author | Nishimura, Yuki | |
| dc.date.accessioned | 2026-03-13T13:52:16Z | |
| dc.date.available | 2026-03-13T13:52:16Z | |
| dc.date.issued | 2026-03-13 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/57700 | |
| dc.description.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. | en |
| dc.language.iso | en | |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;4 | en |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0 | |
| dc.subject | agent-knowledge logic | en |
| dc.subject | modal logic | en |
| dc.subject | epistemic logic | en |
| dc.subject | hybrid logic | en |
| dc.subject | tableau calculus | en |
| dc.title | Agent-Knowledge Logic for Alternative Epistemic Logic | en |
| dc.type | Other | |
| dc.page.number | 607–643 | |
| dc.contributor.authorAffiliation | Institute of Science Tokyo, School of Computing, Japan | en |
| dc.identifier.eissn | 2449-836X | |
| dc.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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | D. M. Gabbay, Many-Dimensional Modal Logics: Theory and Applications, Elsevier North Holland (2003). | en |
| dc.references | 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. | en |
| dc.references | J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the Two Notions, 2nd ed., Cornell University Press (1962). | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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). | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.references | 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. | en |
| dc.contributor.authorEmail | nishimura.y.as@m.titech.ac.jp | |
| dc.identifier.doi | 10.18778/0138-0680.2025.19 | |
| dc.relation.volume | 54 |
Pliki tej pozycji
Pozycja umieszczona jest w następujących kolekcjach
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako https://creativecommons.org/licenses/by-nc-nd/4.0