The following pages link to (Q5014445):
Displayed 4 items.
- Coalgebraic logics \& duality (Q1798781) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)