Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

DOI10.1007/978-3-662-48561-3_26zbMath1471.03037OpenAlexW2183347849MaRDI QIDQ3457715

Rasmus K. Rendsvig

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://curis.ku.dk/ws/files/155662450/Rendsvig_DELds_2015.pdf

zbMATH Keywords

modelingdynamical systemsdynamic epistemic logicprotocolsmodel transformers

Mathematics Subject Classification ID

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

Related Items (5)

METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Hintikka’s Knowledge and Belief in Flux ⋮ Dynamic epistemic logics of diffusion and prediction in social networks ⋮ Intensional protocols for dynamic epistemic logic

Cites Work

• Merging frameworks for interaction
• Logics for epistemic programs
• Epistemic planning for single- and multi-agent systems
• Composing models
• A logic for extensional protocols
• Modal Logic for Qualitative Dynamics
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model Transformers for Dynamical Systems of Dynamic Epistemic Logic