Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Blomet, Quentin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reaching Classicality through Transitive Closure
von: Blomet, Quentin, et al.
Veröffentlicht: (2025)

ST and TS as Product and Sum
von: Blomet, Quentin, et al.
Veröffentlicht: (2024)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

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

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

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

Craig Interpolation for Decidable First-Order Fragments
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

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

Quantifier Elimination and Craig Interpolation, Quantitatively
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Continuous Craig Interpolation
von: Keisler, H. Jerome
Veröffentlicht: (2024)

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

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

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

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

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

Interpolation in Non-Classical Logics
von: Fussner, Wesley
Veröffentlicht: (2025)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
von: Mojtahedi, Mojtaba, et al.
Veröffentlicht: (2024)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
von: Massas, Guillaume
Veröffentlicht: (2024)

Revisiting Interpolation in Relevant Logics
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
von: Wang, Kexu, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

The Modal Logic of Abstraction Refinement
von: Piribauer, Jakob, et al.
Veröffentlicht: (2026)

Computation of Interpolants for Description Logic Concepts in Hard Cases
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

The Size of Interpolants in Modal Logics
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
von: Găină, Daniel, et al.
Veröffentlicht: (2026)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

On the Completeness of Interpolation Algorithms
von: Hetzl, Stefan, et al.
Veröffentlicht: (2024)

Interpolation in Classical Propositional Logic
von: Koopmann, Patrick, et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2025)

Many-Valued Modal Logic
von: Karniel, Amir, et al.
Veröffentlicht: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
von: Traversié, Thomas, et al.
Veröffentlicht: (2025)

Computation and Size of Interpolants for Hybrid Modal Logics
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2026)

Three-Dimensional Affine Spatial Logics
von: Trybus, Adam
Veröffentlicht: (2026)

Interpolation and Amalgamation
von: Metcalfe, George
Veröffentlicht: (2025)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

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