Pages that link to "Item:Q2847816"
From MaRDI portal
The following pages link to Algebraic semantics for coalgebraic logics (Q2847816):
Displaying 34 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Coalgebraic logic (Q1295427) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Algebraic semantics for quasi-Nelson logic (Q2303609) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Strongly complete logics for coalgebras (Q2914235) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- (Q3204454) (← links)
- (Q4715441) (← links)
- (Q5028440) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5240591) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- (Q5465440) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- (Q5875347) (← links)
- Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)