Pages that link to "Item:Q558417"

The following pages link to Expressive logics for coalgebras via terminal sequence induction (Q558417):

Displaying 33 items.

• On a categorical framework for coalgebraic modal logic (Q283748) (← links)
• Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
• Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
• A compositional approach to defining logics for coalgebras (Q703520) (← links)
• A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
• On minimal coalgebras (Q934670) (← links)
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
• Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
• Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
• A quantified coalgebraic van Benthem theorem (Q2233433) (← 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)
• A finite model construction for coalgebraic modal logic (Q2643335) (← links)
• Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
• Generic infinite traces and path-based coalgebraic temporal logics (Q2919451) (← links)
• Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
• Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
• (Q5028440) (← links)
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
• (Q5089293) (← links)
• (Q5094149) (← links)
• Foundations of Software Science and Computational Structures (Q5705903) (← links)
• Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
• (Q5875398) (← links)
• Recent Trends in Algebraic Development Techniques (Q5900833) (← links)
• A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
• Many-valued coalgebraic logic over semi-primal varieties (Q6597956) (← links)
• Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
• Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)