Public announcement logic with distributed knowledge

DOI10.1007/978-3-642-24130-7_24MaRDI QIDQ3094018zbMATH OpenOpenAlexFDO

Authors

Publication date 19 October 2011

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24130-7_24

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Total Public Announcements
• A Hybrid Public Announcement Logic with Distributed Knowledge
• `Knowable' as `known after an announcement'

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Distributed knowledge
• Dynamic epistemic logic
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1453144 (Why is no real title available?)
• Logics for epistemic programs
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• The logic of public announcements, common knowledge, and private suspicions
• What can machines know?

Cited in

(17)

• Temporal languages for epistemic programs
• Merging frameworks for interaction
• Public announcement logic in HOL
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Group announcement logic with distributed knowledge
• Public Announcements, Private Actions and Common Knowledge in S5 Structures
• A soundness and completeness proof on dialogs and dynamic epistemic logic
• Tableaux for Public Announcement Logic
• Public announcements, public assignments and the complexity of their logic
• scientific article; zbMATH DE number 6863640 (Why is no real title available?)
• On axiomatizations of public announcement logic
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• A Hybrid Public Announcement Logic with Distributed Knowledge
• scientific article; zbMATH DE number 7444842 (Why is no real title available?)
• Łukasiewicz Public Announcement Logic
• Relativized common knowledge for dynamic epistemic logic
• Group announcement logic

This page was built for publication: Public announcement logic with distributed knowledge

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