Abstract:Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of 'relativized common knowledge', in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous 'reduction axioms'. We also show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warmup stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both 'cc' and 'bcc' lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene's theorem on finite automata, as well as new Ehrenfeucht games of model comparison.

Relativized Common Knowledge for Dynamic Epistemic Logic

Public Announcements, Private Actions And Common Knowledge In S5 Structures

Common knowledge in update logics.

The expressive language ALCNHR+K(D) for knowledge reasoning

Logics of Communication and Change

Reduction axioms for epistemic actions Reduction axioms for epistemic actions

Public Announcement Logic With Distributed Knowledge

Public announcement logic with distributed knowledge: expressivity, completeness and complexity

A Logic of Knowledge Based on Abstract Arguments

On axiomatizations of public announcement logic

Coalition and Group Announcement Logic

Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators

An Epistemic Separation Logic with Action Models

Public Announcement Logic in HOL

Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge

De Re Updates

Agent-Knowledge Logic for Alternative Epistemic Logic

A Logic of Knowing Why

Dynamic epistemic logics for abstract argumentation

Reasoning about Protocol Change and Knowledge.

On Axiomatizations of PAL