Pages that link to "Item:Q3056300"
From MaRDI portal
The following pages link to Rank-1 Modal Logics are Coalgebraic (Q3056300):
Displaying 10 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- 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)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)