Realizing public announcements by justifications
From MaRDI portal
Publication:2453578
DOI10.1016/j.jcss.2014.04.001zbMath1327.03011OpenAlexW1984217892MaRDI 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
Related Items
Realization Theorems for Justification Logics: Full Modularity, A Conflict Tolerant Logic of Explicit Evidence, A logic of knowing why, Distributed knowledge justification logics, Justification Logics with Probability Operators
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