The following pages link to Reactive automata (Q716325):
Displaying 6 items.
- Completeness theorems for reactive modal logics (Q1935589) (← links)
- Introducing reactive modal tableaux (Q1935590) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Modal logics of reactive frames (Q2269510) (← links)
- The Talmudic logic project, ongoing since 2008 (Q2297956) (← links)