The following pages link to Composing models (Q2901220):
Displayed 6 items.
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Compositional Reasoning for Multi-modal Logics (Q3455830) (← links)
- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)