Cover Image

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Blomet, Quentin
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reaching Classicality through Transitive Closure
by: Blomet, Quentin, et al.
Published: (2025)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

Craig Interpolation in Program Verification
by: Rümmer, Philipp
Published: (2026)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
by: Wernhard, Christoph
Published: (2026)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

Craig Interpolation for Decidable First-Order Fragments
by: Cate, Balder ten, et al.
Published: (2023)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
by: Bertrand, Meven Lennon, et al.
Published: (2026)

Quantifier Elimination and Craig Interpolation, Quantitatively
by: Batz, Kevin, et al.
Published: (2025)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Continuous Craig Interpolation
by: Keisler, H. Jerome
Published: (2024)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
by: Wu, Hao, et al.
Published: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
by: Guelev, Dimitar P.
Published: (2025)

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

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
by: Mojtahedi, Mojtaba, et al.
Published: (2024)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
by: Massas, Guillaume
Published: (2024)

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

Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
by: Wang, Kexu, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

The Modal Logic of Abstraction Refinement
by: Piribauer, Jakob, et al.
Published: (2026)

Computation of Interpolants for Description Logic Concepts in Hard Cases
by: Jung, Jean Christoph, et al.
Published: (2025)

The Size of Interpolants in Modal Logics
by: Cate, Balder ten, et al.
Published: (2025)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
by: Găină, Daniel, et al.
Published: (2026)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
by: Kurucz, Agi, et al.
Published: (2023)

On the Completeness of Interpolation Algorithms
by: Hetzl, Stefan, et al.
Published: (2024)

Interpolation in Classical Propositional Logic
by: Koopmann, Patrick, et al.
Published: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
by: van Ditmarsch, Hans, et al.
Published: (2025)

Many-Valued Modal Logic
by: Karniel, Amir, et al.
Published: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
by: Traversié, Thomas, et al.
Published: (2025)

Computation and Size of Interpolants for Hybrid Modal Logics
by: Jung, Jean Christoph, et al.
Published: (2026)

Three-Dimensional Affine Spatial Logics
by: Trybus, Adam
Published: (2026)

Interpolation and Amalgamation
by: Metcalfe, George
Published: (2025)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
by: Antunes, Henrique, et al.
Published: (2024)