Announcements to attentive agents
Publication:302225
DOI10.1007/S10849-015-9234-3zbMATH Open1352.03021OpenAlexW2226901848WikidataQ50355420 ScholiaQ50355420MaRDI QIDQ302225FDOQ302225
Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber, Pere Pardo, Thomas Bolander
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
action model logicattention changeattention-based announcement logiccommon beliefjoint attentionpublic announcement logic
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- ARROW UPDATE LOGIC
- Expressivity and completeness for public update logics via reduction axioms
- Logics of communication and change
- Dynamic epistemic logic
- Interactive unawareness
- 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
- Tableaux for Public Announcement Logic
- Consistency Preservation and Crazy Formulas in BMS
- On axiomatizations of public announcement logic
- Agents that look at one another
Cited In (10)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Title not available (Why is that?)
- A simplicial complex model for dynamic epistemic logic to study distributed task computability
- Epistemic planning with attention as a bounded resource
- Arrow update synthesis
- Endogenizing epistemic actions
- A lightweight epistemic logic and its application to planning
- Rethinking epistemic logic with belief bases
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
- Title not available (Why is that?)
This page was built for publication: Announcements to attentive agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q302225)
