:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Desharnais, Josée, Sokolova, Ana
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2507.10732
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

Cancellative Convex Semilattices
von: Sokolova, Ana, et al.
Veröffentlicht: (2025)

The Thins Ordering on Relations
von: Voermans, Ed, et al.
Veröffentlicht: (2024)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
von: D'Angelo, Keri, et al.
Veröffentlicht: (2024)

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

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

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
von: Bao, Jialu, et al.
Veröffentlicht: (2024)

Drawing with Distance
von: Jacobs, Bart
Veröffentlicht: (2024)

Lifted Inference beyond First-Order Logic
von: Malhotra, Sagar, et al.
Veröffentlicht: (2023)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

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

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
von: Sarkar, Uddalok, et al.
Veröffentlicht: (2025)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Cyclic Proofs for iGL via Corecursion
von: Miranda, Borja Sierra
Veröffentlicht: (2023)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2026)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

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

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

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

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
von: Reimann, Jesse, et al.
Veröffentlicht: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
von: Lyon, Tim S.
Veröffentlicht: (2022)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)