Cover Image

Uniform Interpolation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	van Gool, Sam
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science 03-02 (Primary) 03B20 03B45 03C10 03G27 03G30 06D20 (Secondary) F.4.1; I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

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

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

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

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

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

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

Logic families
by: Andréka, H., et al.
Published: (2023)

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

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

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

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

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

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

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)