scientific article; zbMATH DE number 7444842

MaRDI QIDQ5016796zbMATH OpenFDO

Authors Francesco Belardinelli, Wiebe van der Hoek, Hans van Ditmarsch

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08735, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.3

Mathematics Subject Classification ID

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

Recommendations

• A public announcement separation logic
• Public announcement logic with distributed knowledge
• A Hybrid Public Announcement Logic with Distributed Knowledge
• Bilattice public announcement logic
• Group announcement logic with distributed knowledge
• Public announcement logic in HOL
• Logic of questions and public announcements
• Public announcement logic in geometric frameworks
• A Tableau Method for Public Announcement Logics
• Tableaux for Public Announcement Logic

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• Announcements to attentive agents
• Arrow update logic
• Distributed knowledge
• Dynamic epistemic logic
• Global and local graph modifiers
• Handbook of 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?)
• Logical dynamics of information and interaction
• Logics of public communications
• Mechanizing Mathematical Reasoning
• Modal logic
• Moving Arrows and Four Model Checking Results
• One hundred prisoners and a light bulb
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Reasoning about information change
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(11)

• Local properties in modal logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Asynchronous announcements in a public channel
• Listen to me! Public announcements to agents that pay attention -- or not
• A runs-and-systems semantics for logics of announcements
• Global and local graph modifiers
• Asynchronous announcements
• How arbitrary are arbitrary public announcements?
• Axiomatization of hybrid logic of link variations
• \textit{De re} updates
• Group announcement logic

This page was built for publication:

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