Pages that link to "Item:Q2747941"

The following pages link to Many-sorted coalgebraic modal logic: A model-theoretic study (Q2747941):

Displaying 32 items.

• Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
• Presenting functors on many-sorted varieties and applications (Q618170) (← links)
• A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
• A compositional approach to defining logics for coalgebras (Q703520) (← links)
• Stone coalgebras (Q703523) (← links)
• A coalgebraic view on positive modal logic (Q703528) (← links)
• Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
• Coalgebraic logics \& duality (Q1798781) (← links)
• Coalgebras and monads in the semantics of Java (Q1853752) (← links)
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence (Q1884901) (← links)
• Temporal refinements for guarded recursive types (Q2233479) (← 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)
• A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
• Final coalgebras for functors on measurable spaces (Q2495647) (← links)
• Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
• A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
• Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
• Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
• Institutionalising many-sorted coalgebraic modal logic (Q2842552) (← links)
• Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
• Functorial coalgebraic logic: the case of many-sorted varieties (Q2873668) (← links)
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
• Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
• A Road to Ultrafilter Extensions (Q3305690) (← links)
• A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
• Modal Languages for Coalgebras in a Topological Setting (Q4917043) (← links)
• (Q5101351) (← links)
• Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
• A presheaf semantics for quantified temporal logics (Q6562516) (← links)