Pages that link to "Item:Q2914235"
From MaRDI portal
The following pages link to Strongly complete logics for coalgebras (Q2914235):
Displaying 24 items.
- Rational operational models (Q265819) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Enriched logical connections (Q2392097) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Some co-Birkhoff type theorems (Q2842554) (← links)
- Algebraic semantics for coalgebraic logics (Q2847816) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- A Note on Expressive Coalgebraic Logics for Finitary Set Functors (Q3056299) (← links)
- Flat Coalgebraic Fixed Point Logics (Q3584953) (← links)
- Strong Completeness of a Pure Free Logic (Q3682469) (← links)
- Some Sahlqvist Completeness Results for Coalgebraic Logics (Q4910420) (← links)
- A categorical view of varieties of ordered algebras (Q5058361) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)
