The following pages link to (Q5014445):
Displaying 7 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)
- Flat Coalgebraic Fixed Point Logics (Q3584953) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)