Epistemic logic of know-who
Epistemic logic of know-who
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.
11479
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Epstein, Sophia
edd5f8f7-121b-4b19-a5b0-1cffeb542c93
May 2021
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Epstein, Sophia
edd5f8f7-121b-4b19-a5b0-1cffeb542c93
Naumov, Pavel and Epstein, Sophia
(2021)
Epistemic logic of know-who.
In Proceedings of the AAAI Conference on Artificial Intelligence.
vol. 35,
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
2021-aaai-en-wo-app
- Accepted Manuscript
More information
Published date: May 2021
Venue - Dates:
The Thirty-Fifth AAAI Conference on Artificial Intelligence<br/>The Thirty-Third Conference on Innovative Applications of Artificial Intelligence<br/>The Eleventh Symposium on Educational Advances in Artificial Intelligence, California - Virtual, United States, 2021-02-02 - 2021-02-09
Identifiers
Local EPrints ID: 452605
URI: http://eprints.soton.ac.uk/id/eprint/452605
PURE UUID: 71119ec1-f57f-4ce3-9866-0dcb5ba152b6
Catalogue record
Date deposited: 11 Dec 2021 11:29
Last modified: 17 Mar 2024 04:10
Export record
Contributors
Author:
Pavel Naumov
Author:
Sophia Epstein
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics