Cover Image

On Quantifiers for Quantitative Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Capucci, Matteo
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science 03C90 (Primary) 03B52 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Homomorphism Preservation Theorems for Many-Valued Structures
by: Carr, James
Published: (2024)

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

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

On Stability and Existence of Models in Abstract Elementary Classes
by: Mazari-Armida, Marcos, et al.
Published: (2024)

Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
by: Hossain, Akash
Published: (2024)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
by: Kuijer, Louwe, et al.
Published: (2025)

From Interpolating Formulas to Separating Languages and Back Again
by: Kurucz, Agi, et al.
Published: (2025)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

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

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

The Dual of Quantifier Elimination: Boolean Elimination over C and R
by: Frank, Matthew
Published: (2025)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)