The following pages link to Reactive Kripke Semantics (Q2864222):
Displaying 8 items.
- Introducing reactive modal tableaux (Q1935590) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- Reactive Kripke models and contrary to duty obligations. Part A: Semantics (Q1948290) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Modal logics of reactive frames (Q2269510) (← links)
- Variables and Attitudes (Q2965359) (← links)
- Reactive Kripke Models and Contrary to Duty Obligations (Q3522048) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)