The following pages link to Modal logics of reactive frames (Q2269510):
Displaying 8 items.
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- Reactive intuitionistic tableaux (Q542126) (← links)
- 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)
- Introducing fuzzy reactive graphs: a simple application on biology (Q2099983) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
