The expressivity of factual change in dynamic epistemic logic

DOI10.1017/S1755020313000324zbMATH Open1329.03050MaRDI QIDQ2940872FDOQ2940872

Authors: Louwe B. Kuijer 

Publication date: 21 January 2015

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

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

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)

Cites Work

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

Cited In (7)

• The expressivity of update logics
• Local properties in modal logic
• Relativized common knowledge for dynamic epistemic logic
• Expressivity and completeness for public update logics via reduction axioms
• The dynamic turn in formal epistemology: the case of explanatory reasoning
• Information dynamics and uniform substitution
• Title not available (Why is that?)

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)