Pages that link to "Item:Q3457715"
From MaRDI portal
The following pages link to Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715):
Displaying 5 items.
- Dynamic epistemic logics of diffusion and prediction in social networks (Q2001364) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- Hintikka’s Knowledge and Belief in Flux (Q3299582) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)