Pages that link to "Item:Q2848953"
From MaRDI portal
The following pages link to Simulations and Bisimulations for Coalgebraic Modal Logics (Q2848953):
Displaying 15 items.
- Completeness for \(\mu\)-calculi: a coalgebraic approach (Q1731842) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- (Q3509051) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- (Q5875347) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)