Epistemic Logic of Know-Who
Sophia Epstein, Pavel Naumov
TL;DR
This paper develops a formal logical framework for modeling the concept of 'know who' using Grove-Halpern semantics, establishing a complete logical system for reasoning about knowledge and identity among agents.
Contribution
It introduces a novel logical system that captures the interplay between 'knows who', 'knows', and universal quantification over agents, with a proven completeness theorem.
Findings
Formal semantics for 'know who' based on Grove-Halpern semantics
A complete logical system for 'know who', 'knows', and universal quantification
Theoretical proof of completeness for the proposed logic
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Natural Language Processing Techniques