scientific article; zbMATH DE number 7566075
From MaRDI portal
Publication:5094149
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/2007.01033
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A point-free perspective on lax extensions and predicate liftings ⋮ Up-to techniques for behavioural metrics via fibrations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lattice-valued simulations for quantitative transition systems
- Metrics for weighted transition systems: axiomatization and complexity
- Expressive logics for coalgebras via terminal sequence induction
- Metrics for labelled Markov processes
- Simulations in coalgebra
- Quantitative analysis of weighted transition systems
- Simulation distances
- Bisimulation through probabilistic testing
- Coalgebraic logic
- Continuity spaces: Reconciling domains and metric spaces
- Universal coalgebra: A theory of systems
- Graded similarity-based semantics for nonmonotonic inferences
- Behavioural pseudometrics for nondeterministic probabilistic systems
- A behavioural pseudometric for probabilistic transition systems
- Local and global operators and many-valued modal logics
- A quantified coalgebraic van Benthem theorem
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems
- Lax extensions of coalgebra functors and their logic
- Recursively defined metric spaces without contraction
- Topological theories and closed objects
- The quantitative linear-time-branching-time spectrum
- Expressivity of coalgebraic modal logic: the limits and beyond
- A modular approach to defining and characterising notions of simulation
- Bisimulation for labelled Markov processes
- Equational Coalgebraic Logic
- Monoidal Topology
- Notions of Bisimulation for Heyting-Valued Modal Languages
- Similarity Quotients as Final Coalgebras
- Generalized Bisimulation Metrics
- Bisimulation Metrics for Continuous Markov Decision Processes
- Algebraic laws for nondeterminism and concurrency
- Metric spaces, generalized logic, and closed categories
- Łukasiewicz μ-calculus
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Bisimulation Metrics for Weighted Automata
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- A van Benthem Theorem for Fuzzy Modal Logic
This page was built for publication:
