The following pages link to Coalgebraic logic (Q1295427):
Displaying 50 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Stone coalgebras (Q703523) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- On minimal coalgebras (Q934670) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Layered logics, coalgebraically (Q1742620) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Finite models constructed from canonical formulas (Q2462682) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← 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)
- Institutionalising many-sorted coalgebraic modal logic (Q2842552) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Algebraic semantics for coalgebraic logics (Q2847816) (← links)
- On a coalgebraic view on logic (Q2863171) (← links)
- Modular games for coalgebraic fixed point logics (Q2873663) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
