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 QIDQ2104473FDOQ2104473
Authors: Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski 
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2110.09911
Recommendations
- Specifying coalgebras with modal logic
- scientific article; zbMATH DE number 1231627
- Predicate liftings and functor presentations in coalgebraic expression languages
- Algebra and Coalgebra in Computer Science
- Coalgebraic predicate logic: equipollence results and proof theory
- Many-valued relation lifting and Moss' coalgebraic logic
- Coalgebras and modal expansions of logics
- Coalgebraic Modal Logic in CoCasl
- Coalgebraic semantics of modal logics: an overview
- scientific article; zbMATH DE number 1497872
Cites Work
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Universal coalgebra: A theory of systems
- Trace semantics for coalgebras
- A Coalgebraic Perspective on Minimization and Determinization
- Title not available (Why is that?)
- Generic Trace Semantics via Coinduction
- Lifting theorems for Kleisli categories
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Expressivity of coalgebraic modal logic: the limits and beyond
- Exemplaric Expressivity of Modal Logics
- Trace semantics via determinization
- Coinduction up-to in a fibrational setting
- Coalgebraic semantics of modal logics: an overview
- Algebra and Coalgebra in Computer Science
- Fibrational bisimulations and quantitative reasoning
- Testing Semantics: Connecting Processes and Process Logics
- Coalgebraic Trace Semantics via Forgetful Logics
- Introduction to coalgebra. Towards mathematics of states and observation
- Simulations and Bisimulations for Coalgebraic Modal Logics
- Title not available (Why is that?)
- Up-To Techniques for Behavioural Metrics via Fibrations
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- Coinductive predicates and final sequences in a fibration
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104473)
