The expressivity of factual change in dynamic epistemic logic

DOI10.1017/S1755020313000324MaRDI QIDQ2940872zbMATHFDO

Authors 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)

Recommendations

• Public and private communication are different: Results on relative expressivity
• Public Announcements, Private Actions and Common Knowledge in S5 Structures
• Total Public Announcements
• Relativized common knowledge for dynamic epistemic logic
• The expressivity of update logics

Cites work

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

Cited in

(7)

• Expressivity and completeness for public update logics via reduction axioms
• Information dynamics and uniform substitution
• scientific article; zbMATH DE number 1523021 (Why is no real title available?)
• The dynamic turn in formal epistemology: the case of explanatory reasoning
• Relativized common knowledge for dynamic epistemic logic
• Local properties in modal logic
• The expressivity of update logics

This page was built for publication: The expressivity of factual change in dynamic epistemic logic

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