Epistemic Logic of Know-Who
arXiv:2012.06651v27 citations
AI Analysis
This work provides a formal logical system for reasoning about 'know who' for researchers in epistemic logic, offering a completeness theorem for its theoretical foundation.
This paper defines 'know who' as a modality using Grove-Halpern semantics of names and introduces a logical system to describe its interplay with 'knows' and 'for all agents' modalities. The main result is a completeness theorem for this proposed system.
The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical result is a completeness theorem for the proposed system.