The following pages link to (Q4499303):
Displaying 47 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Stone coalgebras (Q703523) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Coalgebraic logic (Q1295427) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Institutionalising many-sorted coalgebraic modal logic (Q2842552) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Coalgebraic semantics for positive modal logic (Q2843730) (← links)
- A coalgebraic perspective on monotone modal logic (Q2847811) (← links)
- Coalgebras and modal expansions of logics (Q2847817) (← links)
- Co-algebraic models for quantitative spatial logics (Q2870283) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Coalgebra and Logic: A Brief Overview (Q3056294) (← links)
- (Q3086937) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Coalgebraic Correspondence Theory (Q3557860) (← links)
- A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
- (Q4029593) (← links)
- (Q4580204) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (Q5034233) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting (Q5269005) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)
