Composing models
From MaRDI portal
Publication:2901220
DOI10.3166/jancl.21.397-425zbMath1242.03043OpenAlexW4234863401MaRDI QIDQ2901220
Floor Sietsma, Jan van Eijck, Yanjing Wang
Publication date: 17 July 2012
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.21.397-425
dynamic epistemic logicmulti-agent modelsreduction techniquesinterpreted systemsmodel compositionaction model updateagent observational powerepistemic model checking
Related Items
Compositional Reasoning for Multi-modal Logics, Model Transformers for Dynamical Systems of Dynamic Epistemic Logic, Dynamic epistemic logics: promises, problems, shortcomings, and perspectives, Arrow update synthesis, Changing types: information dynamics for qualitative type spaces, Copy and remove as dynamic operators
Cites Work
- Unnamed Item
- Logics of communication and change
- Dynamic epistemic logic
- Merging frameworks for interaction
- Algebra of communicating processes with abstraction
- A calculus of communicating systems
- The Russian cards problem
- A canonical model for interactive unawareness
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- A Theory of Communicating Sequential Processes
- Concurrent dynamic logic
