DeepAI AI Chat

Epistemic Logic of Know-Who

12/11/2020

∙

by Sophia Epstein, et al.

∙

∙

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.

Sophia Epstein
1 publication
Pavel Naumov
21 publications

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...

0 Pavel Naumov, et al. ∙

∙ 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...

0 Pavel Naumov, et al. ∙

∙ 10/10/2022

Communication between agents in dynamic epistemic logic

This manuscript studies actions of communication between epistemic logic...

0 Fernando R. Velázquez-Quesada, et al. ∙

∙ 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...

0 Sanaz Azimipour, et al. ∙

∙ 07/24/2019

Towards Logical Specification of Statistical Machine Learning

We introduce a logical approach to formalizing statistical properties of...

0 Yusuke Kawamoto, et al. ∙

∙ 10/10/2019

Strategic Coalitions in Stochastic Games

The article introduces a notion of a stochastic game with failure states...

0 Pavel Naumov, et al. ∙

∙ 05/10/2023

Shhh! The Logic of Clandestine Operations

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

0 Pavel Naumov, et al. ∙