Epistemic Logic of Know-Who

Add code
Dec 11, 2020
Sophia Epstein, Pavel Naumov
Figure 1 for Epistemic Logic of Know-Who
Figure 2 for Epistemic Logic of Know-Who
Figure 3 for Epistemic Logic of Know-Who
Figure 4 for Epistemic Logic of Know-Who

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

* To appear in Proceedings of 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon