The following pages link to Modal logics of reactive frames (Q2269510):
Displaying 11 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)
- Formalizing action and change in modal logic I: the frame problem (Q4934812) (← links)
- From Frame Properties to Hypersequent Rules in Modal Logics (Q5271078) (← links)
- (Q5354811) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)