Epistemic Logic with Agentically Non-rigid Designators
Abstract The article introduces chained designators, like “my buddy’s boss’s buddy”, into epistemic logic and gives a sound and complete axiomatization of a knowledge modality parameterized by such designators. It also studies the expressive power of the proposed modality.
Authors
- Pavel Naumov (ORCID: https://orcid.org/0000-0003-1687-045X)
- Xinzhi Zhang (ORCID: https://orcid.org/0000-0002-7242-7332)
Institutions
- Pennsylvania State University (US)
- University of Southampton (GB)
Publication Details
- Journal
- Journal of Philosophical Logic
- Published
- 2025-12-01
- DOI
- https://doi.org/10.1007/s10992-025-09821-7
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00