Year: 2025
Type: article
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.
Source: Journal of Philosophical Logic
Authors: Pavel Naumov, Xinran Zhang
Institutions: University of Southampton, Pennsylvania State University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
OpenAlex ID: W4416851883