DeepAI AI Chat
Log In Sign Up

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

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...
10/10/2022

Communication between agents in dynamic epistemic logic

This manuscript studies actions of communication between epistemic logic...
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...
10/10/2019

Strategic Coalitions in Stochastic Games

The article introduces a notion of a stochastic game with failure states...
05/10/2023

Shhh! The Logic of Clandestine Operations

An operation is called covert if it conceals the identity of the actor; ...