Dynamic epistemic logic with communication actions

DOI10.1016/J.ENTCS.2019.07.005MaRDI QIDQ2333668zbMATH OpenOpenAlexWikidataFDO

Authors Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima

Publication date 13 November 2019

Full work available at URL https://arxiv.org/abs/1902.01164

zbMATH Keywords

action modelscommunication actionconcurrent actionsdynamic epistemic logicdynamic logicepistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic in artificial intelligence (68T27)

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

Recommendations

• Dynamic epistemic logic for channel-based agent communication
• A complete proof system for a dynamic epistemic logic based upon finite -calculus processes
• scientific article; zbMATH DE number 2149447
• Logics of communication and change
• scientific article; zbMATH DE number 1537935

Cites work

• A Propositional Dynamic Logic for CCS Programs
• A propositional dynamic logic for concurrent programs based on the -calculus
• Communication in concurrent dynamic logic
• Dynamic epistemic logic
• Dynamic epistemic logic with communication actions
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 2149447 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logics for epistemic programs
• Logics of communication and change
• Reasoning about information change
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(12)

• Communication in concurrent dynamic logic
• On inverse operators in dynamic epistemic logic
• Dynamic epistemic logic with communication actions
• Algebra and sequent calculus for epistemic actions
• Dynamic epistemic logic for channel-based agent communication
• Formal semantics of a dynamic epistemic logic for describing knowledge properties of \(\pi \)-calculus processes
• scientific article; zbMATH DE number 2149447 (Why is no real title available?)
• Dynamic epistemic preferential logic of action
• Knowledge and local actions
• Endowing concurrent Kleene algebra with communication actions
• Copy and remove as dynamic operators
• Comparing the Update Expressivity of Communication Patterns and Action Models

This page was built for publication: Dynamic epistemic logic with communication actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2333668)