The following pages link to Coalgebraic logic (Q1295427):
Displayed 29 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← 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)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← 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)
- Terminal Sequence Induction via Games (Q3623843) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)