Pages that link to "Item:Q3056300"
From MaRDI portal
The following pages link to Rank-1 Modal Logics are Coalgebraic (Q3056300):
Displaying 7 items.
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
