Cover Image

Interpolation in Classical Propositional Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koopmann, Patrick, Wernhard, Christoph, Wolter, Frank
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03B05 (Primary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

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

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

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

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

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

Natural Term Logic
by: Protin, Clarence
Published: (2024)

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

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

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

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

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

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

Interpolation in Knowledge Representation
by: Jung, Jean Christoph, et al.
Published: (2025)

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

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

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

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

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

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)

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

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

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

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