Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
From MaRDI portal
Publication:2104473
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
- scientific article; zbMATH DE number 6864542 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 7471679 (Why is no real title available?)
- scientific article; zbMATH DE number 7649944 (Why is no real title available?)
- (Metric) bisimulation games and real-valued modal logics for coalgebras
- A Coalgebraic Perspective on Minimization and Determinization
- Algebra and Coalgebra in Computer Science
- Categorical logic and type theory
- Coalgebraic Trace Semantics via Forgetful Logics
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Coalgebraic semantics of modal logics: an overview
- Coinduction up-to in a fibrational setting
- Coinductive predicates and final sequences in a fibration
- Exemplaric Expressivity of Modal Logics
- Expressivity of coalgebraic modal logic: the limits and beyond
- Fibrational bisimulations and quantitative reasoning
- Generic Trace Semantics via Coinduction
- Indexed induction and coinduction, fibrationally
- Introduction to coalgebra. Towards mathematics of states and observation
- Lifting theorems for Kleisli categories
- Simulations and bisimulations for coalgebraic modal logics
- Structural induction and coinduction in a fibrational setting
- Testing Semantics: Connecting Processes and Process Logics
- Trace semantics for coalgebras
- Trace semantics via determinization
- Universal coalgebra: A theory of systems
- Up-to techniques for behavioural metrics via fibrations
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)
