scientific article; zbMATH DE number 7471679
From MaRDI portal
Publication:5028440
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2006.12465
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic ⋮ Corecursion up-to via causal transformations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A general account of coinduction up-to
- Expressive logics for coalgebras via terminal sequence induction
- Coalgebraic semantics of modal logics: an overview
- Simulations in coalgebra
- Bisimulation through probabilistic testing
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Universal coalgebra: A theory of systems
- A behavioural pseudometric for probabilistic transition systems
- Fibrational bisimulations and quantitative reasoning
- Lax extensions of coalgebra functors and their logic
- Expressiveness of probabilistic modal logics: a gradual approach
- Expressivity of coalgebraic modal logic: the limits and beyond
- Bisimulation for labelled Markov processes
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- Introduction to Coalgebra
- Homomorphisms of Coalgebras from Predicate Liftings
- Exemplaric Expressivity of Modal Logics
- Testing Semantics: Connecting Processes and Process Logics
- Algebraic laws for nondeterminism and concurrency
- Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
- Coinductive predicates and final sequences in a fibration
- Topological functors
- Up-To Techniques for Behavioural Metrics via Fibrations
- A van Benthem Theorem for Fuzzy Modal Logic
- Coalgebraic Modal Logic Beyond Sets
- Foundations of Software Science and Computational Structures
- Expressive Logics for Coinductive Predicates
This page was built for publication:
