Announcements to attentive agents

DOI10.1007/s10849-015-9234-3zbMath1352.03021OpenAlexW2226901848WikidataQ50355420 ScholiaQ50355420MaRDI QIDQ302225

Andreas Herzig, Emiliano Lorini, François Schwarzentruber, Pere Pardo, Thomas Bolander, Hans P. van Ditmarsch

Publication date: 4 July 2016

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

Full work available at URL: https://oatao.univ-toulouse.fr/16889/1/bolander_16889.pdf

zbMATH Keywords

public announcement logicaction model logicattention changeattention-based announcement logiccommon beliefjoint attention

Mathematics Subject Classification ID

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

Related Items (10)

Epistemic planning with attention as a bounded resource ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ A lightweight epistemic logic and its application to planning ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ Rethinking epistemic logic with belief bases ⋮ Endogenizing epistemic actions

Cites Work

• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Interactive unawareness
• Logics of communication and change
• Dynamic epistemic logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Listen to Me! Public Announcements to Agents That Pay Attention — or Not
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• ARROW UPDATE LOGIC
• Tableaux for Public Announcement Logic
• Consistency Preservation and Crazy Formulas in BMS
• Expressivity and completeness for public update logics via reduction axioms
• Agents that look at one another

This page was built for publication: Announcements to attentive agents