Pages that link to "Item:Q2474056"
From MaRDI portal
The following pages link to Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056):
Displaying 37 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- Proof systems for Moss' coalgebraic logic (Q402120) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Weakest preconditions in fibrations (Q2133463) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Expressivity of Many-Valued Modal Logics, Coalgebraically (Q2820688) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← 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)
- Terminal Sequence Induction via Games (Q3623843) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- (Q5028440) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5101351) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Practical coinduction (Q5361147) (← links)
- (Q5875398) (← links)
- A point-free perspective on lax extensions and predicate liftings (Q6149965) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
