Imagen de Portada

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wild, Paul, Schröder, Lutz, Messing, Karla, König, Barbara, Forster, Jonas
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Probability 03B45, 03B52, 68Q85 F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Relational Connectors and Heterogeneous Bisimulations
por: Nora, Pedro, et al.
Publicado: (2024)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)

Towards a logic of affordances
por: Gruszczynski, Rafal, et al.
Publicado: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

On Halting vs Converging in Recurrent Graph Neural Networks
por: Bollen, Jeroen, et al.
Publicado: (2026)

More on expressibility of satisfiability in submodels and extensions
por: Poliakov, Nikolai L., et al.
Publicado: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
por: Pradic, Cécilia
Publicado: (2024)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
por: Jaber, Guilhem, et al.
Publicado: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
por: Lopez, Aliaume
Publicado: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
por: Galliani, Pietro
Publicado: (2025)

Recursive windows for grammar logics of bounded density
por: Gasquet, Olivier
Publicado: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
por: Balbiani, Philippe, et al.
Publicado: (2025)

Quantitative Linear Logic
por: Capucci, Matteo, et al.
Publicado: (2026)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Dismantling the Surprise Test "Paradox"
por: Dietzfelbinger, Martin
Publicado: (2026)

Strict potentialism in modal mirrors
por: Linnebo, Øystein
Publicado: (2026)

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

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

Conformance Games for Graded Semantics
por: Forster, Jonas, et al.
Publicado: (2024)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
por: van der Meyden, Ron
Publicado: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
por: Leme, Renato, et al.
Publicado: (2023)

Implicit automata in λ-calculi III: affine planar string-to-string functions
por: Pradic, Cécilia, et al.
Publicado: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
por: Galatos, Nikolaos, et al.
Publicado: (2025)

Support + Belief = Decision Trust
por: Aldini, Alessandro, et al.
Publicado: (2024)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
por: Hausmann, Daniel, et al.
Publicado: (2022)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
por: Mei, Wei, et al.
Publicado: (2021)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
por: Bruse, Florian, et al.
Publicado: (2026)

Normalization properties of $λμ$-calculus using realizability semantics
por: Battyanyi, Peter, et al.
Publicado: (2023)

Graded Monads in the Semantics of Nominal Automata
por: Schulze, Hannes, et al.
Publicado: (2025)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

Sheaves as oracle computations
por: Ahman, Danel, et al.
Publicado: (2026)

Sufficient conditions for local tabularity of a polymodal logic
por: Shapirovsky, Ilya B.
Publicado: (2022)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
por: Knudstorp, Søren Brinck
Publicado: (2025)