The article demonstrates expressive power in epistemic logic using chained designators, revealing key insights.
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.
No takes yet. Share an insight, caveat, or question.
Pavel Naumov (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: