Reverse public announcement operators on expanded models

DOI10.1007/s10849-018-9265-7zbMath1441.03016OpenAlexW2783869064MaRDI QIDQ1711510

Ryuichi Sebastian Haney

Publication date: 18 January 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-018-9265-7

zbMATH Keywords

modal logicepistemic logicdynamic epistemic logicpublic announcement logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Public announcements, public lies and recoveries

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Editorial introduction to the special issue LORI Guangzhou
• Logics of temporal-epistemic actions
• Logics of communication and change
• Temporal languages for epistemic programs
• Dynamic epistemic logic with branching temporal structures
• Merging frameworks for interaction
• Knowledge forgetting: properties and applications
• Topological reasoning and the logic of knowledge
• The modal logic of copy and remove
• Dynamic Epistemic Logic and Temporal Modality
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Games in Dynamic-Epistemic Logic
• A PDL-Like Logic of Knowledge Acquisition
• From DEL to EDL: Exploring the Power of Converse Events