The following pages link to (Q3028984):
Displaying 11 items.
- Refinement modal logic (Q476194) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- SnS can be modally characterized (Q914397) (← links)
- Characterizing finite Kripke structures in propositional temporal logic (Q1123183) (← links)
- A model checker for linear time temporal logic (Q1192606) (← links)
- Positive announcements (Q2046881) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- Parameter Synthesis for Timed Kripke Structures (Q2934895) (← links)
- On the Definability of Simulability and Bisimilarity by Finite Epistemic Models (Q3092294) (← links)
- To be announced (Q6040661) (← links)