scientific article; zbMATH DE number 7444842

zbMath1483.03005arXiv1707.08735MaRDI QIDQ5016796

Wiebe van der Hoek, Francesco Belardinelli, Hans P. van Ditmarsch

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08735

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Announcements to attentive agents
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Dynamic epistemic logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Reasoning about information change
• Logics of public communications
• Moving Arrows and Four Model Checking Results
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• ARROW UPDATE LOGIC
• Distributed knowledge
• Global and Local Graph Modifiers
• Mechanizing Mathematical Reasoning

This page was built for publication: