Cover Image

On the Completeness of Interpolation Algorithms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hetzl, Stefan, Jalali, Raheleh
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Computing Witnesses Using the SCAN Algorithm
by: Achammer, Fabian, et al.
Published: (2026)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
by: Achammer, Fabian, et al.
Published: (2025)

Feasibility of Primality in Bounded Arithmetic
by: Jalali, Raheleh, et al.
Published: (2025)

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

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

Subsystems of Open Induction
by: Hetzl, Stefan, et al.
Published: (2025)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
by: McLean, Brett
Published: (2023)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

Interpolation and Quantifiers in Ortholattices
by: Guilloud, Simon, et al.
Published: (2025)

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)

Interpolation for Converse PDL
by: Kloibhofer, Johannes, et al.
Published: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
by: Brieger, Marvin, et al.
Published: (2024)

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

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

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

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
by: Ceulemans, Joris, et al.
Published: (2024)

Interpolation with Automated First-Order Reasoning
by: Wernhard, Christoph
Published: (2025)

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

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

On Symbol Elimination and Uniform Interpolation in Theory Extensions
by: Sofronie-Stokkermans, Viorica
Published: (2025)

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

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
by: Nishimura, Yuki
Published: (2022)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2023)

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

A Non-Binary Method for Finding Interpolants: Theory and Practice
by: Trybus, Adam, et al.
Published: (2026)

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