Pages that link to "Item:Q2904618"
From MaRDI portal
The following pages link to Completeness for the coalgebraic cover modality (Q2904618):
Displaying 18 items.
- Relation lifting, a survey (Q299182) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Algebraic semantics for coalgebraic logics (Q2847816) (← links)
- Strongly complete logics for coalgebras (Q2914235) (← links)
- (Q3086937) (← links)
- Complete Coinductive Theories. I (Q3486554) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
- (Q5020955) (← links)
- Rough and Near: Modal History of Two Theories (Q5082210) (← links)
- (Q5101351) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)