Communication between agents in dynamic epistemic logic

This manuscript studies actions of communication between epistemic logic agents. It starts by looking into actions through which all/some agents share all their information, defining the model operation that transforms the model, discussing its properties, introducing a modality for describing it and providing an axiom system for the latter. The main part of the manuscript focuses on an action through which some agents share part of their information: they share all that they know about a topic defined by a given formula. Once again, the manuscript defines the model operation that transforms the model, discusses its properties, introduces a modality for describing it and provides an axiom system for the latter.

READ FULL TEXT
research
02/04/2019

Dynamic Epistemic Logic with Communication Actions

This work proposes a Dynamic Epistemic Logic with Communication Actions ...
research
12/11/2020

Epistemic Logic of Know-Who

The paper suggests a definition of "know who" as a modality using Grove-...
research
03/31/2017

A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing

The usual epistemic S5 model for multi-agent systems is a Kripke graph, ...
research
09/10/2018

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability

The usual epistemic model S5n for a multi-agent system is based on a Kri...
research
07/27/2019

Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover

We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic ...
research
05/29/2019

Reachability Games in Dynamic Epistemic Logic

We define reachability games based on Dynamic Epistemic Logic (DEL), whe...
research
06/10/2016

Simple epistemic planning: generalised gossiping

The gossip problem, in which information (known as secrets) must be shar...

Please sign up or login with your details

Forgot password? Click here to reset