Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
From MaRDI portal
Publication:2104473
DOI10.1007/978-3-031-10736-8_1OpenAlexW4286600429MaRDI QIDQ2104473
Christina Mika-Michalski, Barbara König, Harsh Beohar, Sebastian Küpper
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2110.09911
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coalgebraic semantics of modal logics: an overview
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Universal coalgebra: A theory of systems
- Fibrational bisimulations and quantitative reasoning
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Trace semantics via determinization
- Expressivity of coalgebraic modal logic: the limits and beyond
- Introduction to Coalgebra
- Simulations and Bisimulations for Coalgebraic Modal Logics
- A Coalgebraic Perspective on Minimization and Determinization
- Coalgebraic Trace Semantics via Forgetful Logics
- Exemplaric Expressivity of Modal Logics
- Testing Semantics: Connecting Processes and Process Logics
- Coinductive predicates and final sequences in a fibration
- Coinduction up-to in a fibrational setting
- Up-To Techniques for Behavioural Metrics via Fibrations
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- Generic Trace Semantics via Coinduction
- Algebra and Coalgebra in Computer Science
- Lifting theorems for Kleisli categories
- Indexed Induction and Coinduction, Fibrationally
This page was built for publication: Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
