The following pages link to (Q2847816):
Displayed 19 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Intuitionistic fixed point logic (Q2220485) (← 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)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- (Q5028440) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)