:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	D'Angelo, Keri, Gurke, Sebastian, Kirss, Johanna Maria, König, Barbara, Najafi, Matina, Różowski, Wojciech, Wild, Paul
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2404.19632
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
by: Różowski, Wojciech
Published: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
by: Beohar, Harsh, et al.
Published: (2023)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
by: Wild, Paul, et al.
Published: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
by: Różowski, Wojciech, et al.
Published: (2026)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
by: D'Angelo, Keri, et al.
Published: (2025)

A Completeness Theorem for Probabilistic Regular Expressions
by: Różowski, Wojciech, et al.
Published: (2023)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
by: Baldan, Paolo, et al.
Published: (2026)

Approximating Fixpoints of Approximated Functions
by: Baldan, Paolo, et al.
Published: (2025)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)

Weighted GKAT: Completeness and Complexity
by: Van Koevering, Spencer, et al.
Published: (2025)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
by: Forster, Jonas, et al.
Published: (2023)

Behavioural Conformances based on Lax Couplings
by: Wild, Paul, et al.
Published: (2025)

Coalgebraic Behavioral Metrics
by: Baldan, Paolo, et al.
Published: (2017)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

Flipping and Forking
by: Przybyszewski, Wojciech, et al.
Published: (2025)

Non-expansive Fuzzy ALC
by: Gebhart, Stefan, et al.
Published: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
by: Gebhart, Stefan, et al.
Published: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

Grzegorczyk Logic Unlocked
by: Wołoszyn, Wojciech Aleksander
Published: (2025)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
by: Kesting, Christoph
Published: (2024)

At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics
by: Mercier, Antoine, et al.
Published: (2026)

On the preservation of unification type of Heyting algebras and interior algebras
by: Düntsch, Ivo, et al.
Published: (2025)

The Only Distributive Law Over the Powerset Monad Is the One You Know
by: Goncharov, Sergey, et al.
Published: (2026)

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)

$ε$-Distance via Lévy-Prokhorov Lifting
by: Desharnais, Josée, et al.
Published: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
by: Heck, Linus, et al.
Published: (2025)

A Toolkit for Structured Lifts
by: Kapulkin, Chris, et al.
Published: (2025)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
by: Banse, Adrien, et al.
Published: (2025)

When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)

Proving Behavioural Apartness
by: Turkenburg, Ruben, et al.
Published: (2024)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
by: Jamroga, Wojciech, et al.
Published: (2020)

Identity-Preserving Lax Extensions and Where to Find Them
by: Goncharov, Sergey, et al.
Published: (2024)

Faster Lifting for Ordered Domains with Predecessor Relations
by: Zou, Kuncheng, et al.
Published: (2025)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)

Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)