AI Chat AI Image Generator AI Video Text to Speech

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
22 publications

page 1

page 2

page 3

page 4

research

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

research

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

research

∙ 07/13/2017

Strategic Coalitions with Perfect Recall

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

0 Pavel Naumov, et al. ∙

research

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

research

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

research

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

research

∙ 09/16/2019

A Substructural Epistemic Resource Logic: Theory and Modelling Applications

We present a substructural epistemic logic, based on Boolean BI, in whic...

0 Didier Galmiche, et al. ∙