THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC

DOI10.1017/S1755020313000324zbMath1329.03050MaRDI QIDQ2940872

Louwe B. Kuijer

Publication date: 21 January 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

common knowledgedynamic epistemic logicpublic announcementspublic substitutions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Relativized common knowledge for dynamic epistemic logic

Cites Work

• Logics of communication and change
• Logics of public communications
• Dynamic logic for belief revision
• Expressivity and completeness for public update logics via reduction axioms

This page was built for publication: THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC