The following pages link to (Q4533390):
Displayed 36 items.
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- Stone coalgebras (Q703523) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← 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)
- Some Co-Birkhoff Type Theorems (Q2842554) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- Modal Predicates and Coequations (Q2842557) (← links)
- Factorization systems and fibrations (Q2842821) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- (Q5094151) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- (Q5214813) (← links)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)