Pages that link to "Item:Q3005988"
From MaRDI portal
The following pages link to Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988):
Displayed 8 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5089293) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5214815) (← links)