Conference ProceedingsOPEN ACCESS

Epistemic Logic of Know-Who

35th AAAI Conference on Artificial Intelligence, AAAI 2021 (2021) 13A 11479-11486
DOI: 10.1609/aaai.v35i13.17367
9Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

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

CITATION STYLE

APA

Epstein, S., & Naumov, P. (2021). Epistemic Logic of Know-Who. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 13A, pp. 11479–11486). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v35i13.17367

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free