Pages that link to "Item:Q1679752"
From MaRDI portal
The following pages link to A propositional dynamic logic for instantial neighborhood models (Q1679752):
Displayed 5 items.
- Computation as social agency: what, how and who (Q1641025) (← 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)
- Constructive Game Logic (Q5041088) (← links)