Realizing public announcements by justifications

DOI10.1016/j.jcss.2014.04.001zbMath1327.03011MaRDI QIDQ2453578

Roman Kuznets, Samuel Bucheli, Thomas Studer

Publication date: 10 June 2014

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2014.04.001

zbMATH Keywords

belief revision; dynamic epistemic logic; justification logic; public announcements

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

Related Items

Justification Logics with Probability Operators, A Conflict Tolerant Logic of Explicit Evidence, Distributed knowledge justification logics, A logic of knowing why, Realization Theorems for Justification Logics: Full Modularity

Cites Work

• Multi-agent justification logic: communication and evidence elimination
• Realizations and LP
• The logic of proofs, semantically
• Self-referential justifications in epistemic logic
• Reasoning about information change
• Logics of public communications
• Justified common knowledge
• Justifications for common knowledge
• Partial Realization in Dynamic Justification Logic
• Public communication in justification logic
• Update as Evidence: Belief Expansion
• THE LOGIC OF JUSTIFICATION
• Tracking Evidence
• Dynamic Epistemic Logic and Knowledge Puzzles
• The Realization Theorem for S5 A Simple, Constructive Proof