Pages that link to "Item:Q5428831"
From MaRDI portal
The following pages link to Modular Algorithms for Heterogeneous Modal Logics (Q5428831):
Displayed 6 items.
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Weak bisimulations for the Giry monad (Q3060190) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)