Composing models

DOI10.3166/JANCL.21.397-425MaRDI QIDQ2901220zbMATH OpenOpenAlexFDO

Authors Jan van Eijck, Floor Sietsma, 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

zbMATH Keywords

dynamic epistemic logicmulti-agent modelsreduction techniquesinterpreted systemsmodel compositionaction model updateagent observational powerepistemic model checking

Mathematics Subject Classification ID

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

Recommendations

• A composable language for action models
• Compositional reasoning for multi-modal logics
• Arbitrary action model logic and action model synthesis
• Logics for epistemic programs
• Logics of temporal-epistemic actions

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A canonical model for interactive unawareness
• Algebra of communicating processes with abstraction
• Concurrent dynamic logic
• Dynamic epistemic logic
• Logics of communication and change
• Merging frameworks for interaction
• The Russian cards problem
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(9)

• Model transformers for dynamical systems of dynamic epistemic logic
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Changing types: information dynamics for qualitative type spaces
• Arrow update synthesis
• A composable language for action models
• Arbitrary action model logic and action model synthesis
• Copy and remove as dynamic operators
• Combining different models
• Compositional reasoning for multi-modal logics

This page was built for publication: Composing models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2901220)