AAAI 2021technical10 citations
Epistemic Logic of Know-Who
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.
BibTeX
@inproceedings{aaai2021_epistemiclogicof,
title = {Epistemic Logic of Know-Who},
author = {Sophia Epstein and Pavel Naumov},
booktitle = {AAAI 2021},
year = {2021}
}