Epistemic Logic of Know-Who
Artificial Intelligence
2021-03-04 v2 Logic in Computer Science
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.
Cite
@article{arxiv.2012.06651,
title = {Epistemic Logic of Know-Who},
author = {Sophia Epstein and Pavel Naumov},
journal= {arXiv preprint arXiv:2012.06651},
year = {2021}
}
Comments
To appear in Proceedings of 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021