Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic

DOI10.1007/978-3-319-62864-6_9zbMath1437.03077OpenAlexW2100650637MaRDI QIDQ3299578

Wiebe van der Hoek, Barteld P. Kooi, Hans P. van Ditmarsch

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-62864-6_9

zbMATH Keywords

modal logicmulti-agent systemsdynamic epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prolegomena to dynamic logic for belief revision
• The secret of my success
• Logics of communication and change
• Dynamic epistemic logic
• Merging frameworks for interaction
• Reasoning about information change
• Common knowledge and update in finite environments
• Default logic as dynamic doxastic logic
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Descriptions of game actions
• Defaults in update semantics
• Logics for epistemic programs
• Epistemology Without Knowledge and Without Belief
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• ARROW UPDATE LOGIC
• Consistency Preservation and Crazy Formulas in BMS
• Dynamic logic for belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Resolution for temporal logics of knowledge
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Connecting dynamic epistemic and temporal epistemic logics
• Intelligent Agents and Multi-Agent Systems
• Knowledge in multiagent systems

This page was built for publication: Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic