Realizing public announcements by justifications

DOI10.1016/J.JCSS.2014.04.001MaRDI QIDQ2453578zbMATH OpenOpenAlexFDO

Authors Samuel Bucheli, Roman Kuznets, 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 revisiondynamic epistemic logicjustification logicpublic announcements

Mathematics Subject Classification ID

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

Recommendations

• Partial realization in dynamic justification logic
• Public communication in justification logic
• `Knowable' as `known after an announcement'
• Total Public Announcements
• Public announcement logic in geometric frameworks

Cites work

• Dynamic Epistemic Logic and Knowledge Puzzles
• Justifications for common knowledge
• Justified common knowledge
• Logics of public communications
• Multi-agent justification logic: communication and evidence elimination
• Partial realization in dynamic justification logic
• Public communication in justification logic
• Realizations and LP
• Reasoning about information change
• Self-referential justifications in epistemic logic
• The logic of justification
• The logic of proofs, semantically
• The realization theorem for S5 a simple, constructive proof
• Tracking evidence
• Update as evidence: belief expansion

Cited in

(12)

• Reverse public announcement operators on expanded models
• Public announcements, public lies and recoveries
• Distributed knowledge justification logics
• A logic of knowing why
• Partial realization in dynamic justification logic
• Public communication in justification logic
• Realization theorems for justification logics: full modularity
• Twelve Angry Men: A Study on the Fine-Grain of Announcements
• Justification Logics with Probability Operators
• A Conflict Tolerant Logic of Explicit Evidence
• DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
• scientific article; zbMATH DE number 5046369 (Why is no real title available?)

This page was built for publication: Realizing public announcements by justifications

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