Pages that link to "Item:Q558417"
From MaRDI portal
The following pages link to Expressive logics for coalgebras via terminal sequence induction (Q558417):
Displaying 28 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)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
- (Q5875398) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
