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)
- 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)
- 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)
- Modular Games for Coalgebraic Fixed Point Logics (Q2873663) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Predicate Liftings Versus Nabla Modalities (Q2873669) (← links)
- Coequational Logic for Finitary Functors (Q2873671) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- Strongly Complete Logics for Coalgebras (Q2914235) (← links)
