AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART
Pavel Naumov, Jia Tao · Journal of Symbolic Logic · 2023
Abstract Traditionally, the formulae in modal logic express properties of possible worlds. Prior introduced “egocentric” logics that capture properties of agents rather than of possible worlds. In such a setting, the article proposes the modality “know how to tell apart” and gives a complete logical system describing the interplay between this modality and the knowledge modality. An important contribution of this work is a new matrix-based technique for proving completeness theorems in an egocentric setting.