Arrow update synthesis

DOI10.1016/j.ic.2020.104544zbMath1496.68326arXiv1802.00914OpenAlexW3011498489MaRDI QIDQ2216107

Louwe B. Kuijer, Wiebe van der Hoek, Hans P. van Ditmarsch, Barteld P. Kooi

Publication date: 15 December 2020

Published in: Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

modal logicexpressivitydynamic epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Grammars and rewriting systems (68Q42)

Related Items (5)

To be announced ⋮ Communication pattern logic: epistemic and topological views ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models ⋮ A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks ⋮ Copy and remove as dynamic operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Announcements to attentive agents
• Arbitrary arrow update logic
• Action emulation
• Refinement modal logic
• Dynamics of lying
• Logics of communication and change
• Dynamic epistemic logic
• Reasoning about information change
• The undecidability of arbitrary arrow update logic
• Refinement Quantified Logics of Knowledge
• Composing models
• Moving Arrows and Four Model Checking Results
• ARROW UPDATE LOGIC
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Expressivity and completeness for public update logics via reduction axioms
• Global and Local Graph Modifiers
• Arbitrary Action Model Logic and Action Model Synthesis
• Mechanizing Mathematical Reasoning
• DEL-sequents for progression

This page was built for publication: Arrow update synthesis