:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	D'Angelo, Keri, Gurke, Sebastian, Kirss, Johanna Maria, König, Barbara, Najafi, Matina, Różowski, Wojciech, Wild, Paul
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2404.19632
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
von: Różowski, Wojciech
Veröffentlicht: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
von: Beohar, Harsh, et al.
Veröffentlicht: (2023)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
von: Wild, Paul, et al.
Veröffentlicht: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
von: Różowski, Wojciech, et al.
Veröffentlicht: (2026)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
von: D'Angelo, Keri, et al.
Veröffentlicht: (2025)

A Completeness Theorem for Probabilistic Regular Expressions
von: Różowski, Wojciech, et al.
Veröffentlicht: (2023)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Approximating Fixpoints of Approximated Functions
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
von: Lobbia, Gabriele, et al.
Veröffentlicht: (2024)

Weighted GKAT: Completeness and Complexity
von: Van Koevering, Spencer, et al.
Veröffentlicht: (2025)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
von: Sangiorgi, Davide
Veröffentlicht: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Behavioural Conformances based on Lax Couplings
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Coalgebraic Behavioral Metrics
von: Baldan, Paolo, et al.
Veröffentlicht: (2017)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

Flipping and Forking
von: Przybyszewski, Wojciech, et al.
Veröffentlicht: (2025)

Non-expansive Fuzzy ALC
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
von: Stoltenow, Lara, et al.
Veröffentlicht: (2024)

Grzegorczyk Logic Unlocked
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2025)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
von: Kesting, Christoph
Veröffentlicht: (2024)

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

On the preservation of unification type of Heyting algebras and interior algebras
von: Düntsch, Ivo, et al.
Veröffentlicht: (2025)

The Only Distributive Law Over the Powerset Monad Is the One You Know
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Relators and Notions of Simulation Revisited
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

$ε$-Distance via Lévy-Prokhorov Lifting
von: Desharnais, Josée, et al.
Veröffentlicht: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
von: Heck, Linus, et al.
Veröffentlicht: (2025)

A Toolkit for Structured Lifts
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
von: Banse, Adrien, et al.
Veröffentlicht: (2025)

When Darwin met Ianus: dichotomies of expressivity
von: Brunar, Johanna, et al.
Veröffentlicht: (2025)

Proving Behavioural Apartness
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2024)

Witnesses for Fixpoint Games on Lattices
von: König, Barbara, et al.
Veröffentlicht: (2026)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2020)

Identity-Preserving Lax Extensions and Where to Find Them
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Faster Lifting for Ordered Domains with Predecessor Relations
von: Zou, Kuncheng, et al.
Veröffentlicht: (2025)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
von: Ferrando, Angelo, et al.
Veröffentlicht: (2024)

Examples and Nonexamples of Distal Metric Structures
von: Anderson, Aaron, et al.
Veröffentlicht: (2025)