Epistemic Logic of Know-Who

12/11/2020
by   Sophia Epstein, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

05/25/2017

Together We Know How to Achieve: An Epistemic Logic of Know-How

The existence of a coalition strategy to achieve a goal does not necessa...
07/27/2017

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)

The existence of a coalition strategy to achieve a goal does not necessa...
01/02/2021

If You're Happy, Then You Know It: The Logic of Happiness... and Sadness

The article proposes a formal semantics of happiness and sadness modalit...
07/24/2019

Towards Logical Specification of Statistical Machine Learning

We introduce a logical approach to formalizing statistical properties of...
07/13/2017

Strategic Coalitions with Perfect Recall

The paper proposes a bimodal logic that describes an interplay between d...
10/10/2019

Strategic Coalitions in Stochastic Games

The article introduces a notion of a stochastic game with failure states...
06/23/2009

A Logical Characterization of Iterated Admissibility

Brandenburger, Friedenberg, and Keisler provide an epistemic characteriz...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.