Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Takahiro Sawasaki

doi:10.18778/0138-0680.2025.07

Authors

Takahiro Sawasaki Kanazawa University, Institute of Liberal Arts and Science https://orcid.org/0009-0009-2158-4694

DOI:

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

Keywords:

incompleteness, term-modal logic, first-order modal logic

Abstract

In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al. (2020) “Dynamic Term-modal Logics for First-order Epistemic Planning.” Term-modal logic is a family of first-order modal logics having term-modal operators indexed with terms in the first-order language. While some first-order formula is valid over the corresponding class of frames in the involved Kripke semantics, it is not provable in those expansions. We show this fact by introducing a non-standard Kripke semantics which makes the meanings of constants and function symbols relative to the meanings of relation symbols combined with them. We also address an incorrect frame correspondence result given in Liberman et al. (2020).

References

A. Achen, Putting the Agents Back in the Domain: A Two-Sorted Term-Modal Logic, Master’s thesis, University of Copenhagen (2017), DOI: https://doi.org/10.48550/arXiv.1811.01590 bachelor thesis.
Google Scholar

H. Enderton, A Mathematical Introduction to Logic, 2nd ed., Academic Press (2001), DOI: https://doi.org/10.1016/C2009-0-22107-6
Google Scholar DOI: https://doi.org/10.1016/C2009-0-22107-6

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

M. Fitting, L. Thalmann, A. Voronkov, Term-Modal Logics, Studia Logica, vol. 69 (2001), pp. 133–169, DOI: https://doi.org/10.1023/A:1013842612702
Google Scholar DOI: https://doi.org/10.1023/A:1013842612702

S. Frijters, All Doctors Have an Obligation to Care for Their Patients: Term-modal Logics for Ethical Reasoning with Quantified Deontic Statements, Ph.D. thesis, Ghent University (2021), URL: https://biblio.ugent.be/publication/8698101
Google Scholar

S. Frijters, An Andersonian-Kangerian Reduction of Term-Modal Deontic Logics, [in:] Deontic Logic and Normative Systems 16th International Conference, DEON 2023, College publications (2023), pp. 159–176.
Google Scholar

B. Kooi, Dynamic Term-modal Logic, [in:] J. van Benthem, S. Ju, F. Veltman (eds.), A Meeting of the Minds. Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007, Texts in Computing Computer Science 8, College Publications (2008), pp. 173–185.
Google Scholar

A. O. Liberman, A. Achen, R. K. Rendsvig, Dynamic Term-modal Logics for First-order Epistemic Planning, Artificial Intelligence, vol. 286 (2020), p. 103305, DOI: https://doi.org/10.1016/j.artint.2020.103305
Google Scholar DOI: https://doi.org/10.1016/j.artint.2020.103305

A. O. Liberman, A. Achen, R. K. Rendsvig, Erratum to “Dynamic Term-Modal Logics for First-Order Epistemic Planning” [Artif. Intell. 286 (2020) 103305], Artificial Intelligence, vol. 323 (2023), p. 103969, DOI: https://doi.org/10.1016/j.artint.2023.103969
Google Scholar DOI: https://doi.org/10.1016/j.artint.2023.103969

T. Sawasaki, Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms, [in:] A. Indrzejczak, M. Zawidzki (eds.), Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications Łódź, Poland, 5–8 September 2024 (2024), pp. 66–76, DOI: https://doi.org/10.4204/EPTCS.415.9
Google Scholar DOI: https://doi.org/10.4204/EPTCS.415.9

T. Sawasaki, K. Sano, Term-Sequence-Dyadic Deontic Logic, [in:] F. Liu, A. Marra, P. Portner, F. V. D. Putte (eds.), Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021, College Publication (2021), pp. 376–393.
Google Scholar

L. Thalmann, Term-Modal Logic and Quantifier-free Dynamic Assignment Logic, Ph.D. thesis, Uppsala University (2000), URL: https://www.diva-portal.org/smash/get/diva2:170775/FULLTEXT01.pdf
Google Scholar

Y. Wang, Y. Wei, J. Seligman, Quantifier-free Epistemic Term-modal Logic with Assignment Operator, Annals of Pure and Applied Logic, vol. 173(3) (2022), p. 103071, DOI: https://doi.org/10.1016/j.apal.2021.103071
Google Scholar DOI: https://doi.org/10.1016/j.apal.2021.103071