Dynamic Epistemic Logic with Communication Actions

This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurrency, here we use an approach based on process calculus, like CCS and CSP, and Action Models Logic. Our approach makes possible the proof of soundness, completeness and decidability, different from the others approaches. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/13/2022

Logics for Epistemic Actions: Completeness, Decidability, Expressivity

We consider dynamic versions of epistemic logic as formulated in Baltag ...
research
11/23/2014

Logics of Temporal-Epistemic Actions

We present Dynamic Epistemic Temporal Logic, a framework for reasoning a...
research
08/28/1998

Set-Theoretic Completeness for Epistemic and Conditional Logic

The standard approach to logic in the literature in philosophy and mathe...
research
10/10/2022

Communication between agents in dynamic epistemic logic

This manuscript studies actions of communication between epistemic logic...
research
05/02/2022

On the Role of Postconditions in Dynamic First-Order Epistemic Logic

Dynamic Epistemic Logic (DEL) is a logic that models information change ...
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...
research
01/20/2020

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...

Please sign up or login with your details

Forgot password? Click here to reset