Image de couverture de livre

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Forster, Jonas, Schröder, Lutz, Wild, Paul, König, Barbara, Nora, Pedro
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science 03B45, 03B50, 03B52, 03B70, 68Q10, 68Q85 F.4.1; F.1.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quantitative Graded Semantics and Spectra of Behavioural Metrics
par: Forster, Jonas, et autres
Publié: (2023)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
par: Wild, Paul, et autres
Publié: (2025)

Behavioural Conformances based on Lax Couplings
par: Wild, Paul, et autres
Publié: (2025)

Relational Connectors and Heterogeneous Bisimulations
par: Nora, Pedro, et autres
Publié: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
par: Gabbay, Murdoch J., et autres
Publié: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
par: Stanković, Marko, et autres
Publié: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
par: Battyanyi, Peter, et autres
Publié: (2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
par: Lopez, Aliaume
Publié: (2024)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
par: Ramos, Arthur, et autres
Publié: (2025)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

Formalizing MLTL Formula Progression in Isabelle/HOL
par: Kosaian, Katherine, et autres
Publié: (2024)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
par: Wang, Zili, et autres
Publié: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
par: Gabbay, Murdoch J.
Publié: (2025)

Complexities of Well-Quasi-Ordered Substructural Logics
par: Galatos, Nikolaos, et autres
Publié: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

Nominal techniques as an Agda library
par: Gabbay, Murdoch J., et autres
Publié: (2026)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Recursive windows for grammar logics of bounded density
par: Gasquet, Olivier
Publié: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
par: Balbiani, Philippe, et autres
Publié: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
par: Walsh, Sean
Publié: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
par: Japaridze, Giorgi
Publié: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

A propositional cirquent calculus for computability logic
par: Japaridze, Giorgi
Publié: (2024)

Reversible computations are computations
par: Aubert, Clément, et autres
Publié: (2025)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

Notes on applicative matching logic
par: Leuştean, Laurenţiu
Publié: (2025)

A vector logic for extensional formal semantics
par: Quigley, Daniel
Publié: (2024)

2-Coherent Internal Models of Homotopical Type Theory
par: Chen, Joshua
Publié: (2025)

A Logic For Fresh Labelled Transition Systems
par: Bandukara, Mohamed H, et autres
Publié: (2025)

Complete First-Order Game Logic
par: Wafa, Noah Abou El, et autres
Publié: (2025)

Graded Monads in the Semantics of Nominal Automata
par: Schulze, Hannes, et autres
Publié: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
par: Jaber, Guilhem, et autres
Publié: (2025)

Two strong undefinability results in inquisitive and team semantics
par: Barbero, Fausto
Publié: (2024)