Pages that link to "Item:Q1679752"
From MaRDI portal
The following pages link to A propositional dynamic logic for instantial neighborhood models (Q1679752):
Displaying 7 items.
- Computation as social agency: what, how and who (Q1641025) (← links)
- A tableau system for instantial neighborhood logic (Q1709714) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Constructive Game Logic (Q5041088) (← links)