Pages that link to "Item:Q2939298"
From MaRDI portal
The following pages link to On the definability of simulation and bisimulation in epistemic logic (Q2939298):
Displaying 8 items.
- On the modal definability of simulability by finite transitive models (Q763328) (← links)
- Bisimulation for conditional modalities (Q1708097) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Positive announcements (Q2046881) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Some remarks on the model theory of epistemic plausibility models (Q2901219) (← links)
- Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models (Q5222683) (← links)