De Re and De Dicto Knowledge in Egocentric Setting

Traditionally, the satisfaction relation in modal logic is defined as a relation w φ between a possible world w and a formula φ. In such a setting, formula φ expresses a property of possible worlds. For example, statement w "There are black holes" expresses the fact that world w has a property of containing black holes. It is also possible to consider logical systems that capture properties of agents rather than of possible worlds. In such systems, satisfaction relation a φ is a relation between an agent a and a formula φ.