The following pages link to (Q2762529):
Displaying 19 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Stone coalgebras (Q703523) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Towards weak bisimulation for coalgebras (Q2841308) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Modal predicates and coequations (Q2842557) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- A syntactical approach to weak (bi-)simulation for coalgebras (Q2842561) (← links)
- Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Mathematical Structuralism, Modal Nominalism, and the Coherence Principle (Q2965631) (← links)
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence (Q3092201) (← links)
- (Q4499303) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
