Epistemic Logic of Know-Who

AAAI 2021 pp. 11479-11486

doi:10.1609/AAAI.V35I13.17367 /aaai/2021/epstein2021aaai-epistemic/

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.

PDF AAAI Semantic Scholar

Cite

Text

Epstein and Naumov. "Epistemic Logic of Know-Who." AAAI Conference on Artificial Intelligence, 2021. doi:10.1609/AAAI.V35I13.17367

Markdown

[Epstein and Naumov. "Epistemic Logic of Know-Who." AAAI Conference on Artificial Intelligence, 2021.](https://mlanthology.org/aaai/2021/epstein2021aaai-epistemic/) doi:10.1609/AAAI.V35I13.17367

BibTeX

@inproceedings{epstein2021aaai-epistemic,
  title     = {{Epistemic Logic of Know-Who}},
  author    = {Epstein, Sophia and Naumov, Pavel},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {11479-11486},
  doi       = {10.1609/AAAI.V35I13.17367},
  url       = {https://mlanthology.org/aaai/2021/epstein2021aaai-epistemic/}
}