De Re and De Dicto Knowledge in Egocentric Setting

TL;DR

This paper explores the logical properties of egocentric knowledge, introducing two modalities for de re and de dicto knowledge and demonstrating their independence within this framework.

Contribution

It introduces and formalizes two distinct modalities for de re and de dicto knowledge in egocentric logic, proving they are not definable from each other.

Findings

De re and de dicto modalities are not definable through each other.

The paper formalizes egocentric logical systems for agent properties.

It advances understanding of agent-centric knowledge representations.

Abstract

Prior proposes the term "egocentric" for logical systems that study properties of agents rather than properties of possible worlds. In such a setting, the paper introduces two different modalities capturing de re and de dicto knowledge and proves that these two modalities are not definable through each other.