Pages that link to "Item:Q5941162"
From MaRDI portal
The following pages link to Specifying coalgebras with modal logic (Q5941162):
Displaying 30 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- A compositional approach to defining logics for coalgebras (Q703520) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Linear logic in computer science (Q2201109) (← links)
- Between syntax and semantics of resource oriented logic for IDS behavior description (Q2201272) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- (Q3086937) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- (Q4499303) (← links)
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics (Q5034233) (← links)
- (Q5101351) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Practical coinduction (Q5361147) (← links)
- Algebra and Coalgebra in Computer Science (Q5492825) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
