:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Jung, Jean Christoph, Koopmann, Patrick, Knorr, Matthias
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science 03C40
Online Access:	https://arxiv.org/abs/2512.08833
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
by: Kuang, Qipeng, et al.
Published: (2025)

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

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
by: Kůla, Václav, et al.
Published: (2025)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
by: Sun, Shixin, et al.
Published: (2026)

Preservation Theorems Through the Lens of Topology
by: Lopez, Aliaume
Published: (2020)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

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

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Bridging Weighted First Order Model Counting and Graph Polynomials
by: Kuang, Qipeng, et al.
Published: (2024)

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

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

Higher-arity distality and forking triviality
by: Tong, Mervyn
Published: (2026)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

Infinitary Logics and Abstract Elementary Classes
by: Shelah, Saharon, et al.
Published: (2020)

A modal logic translation of the AGM axioms for belief revision
by: Bonanno, Giacomo
Published: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
by: Alexandru, Baltag, et al.
Published: (2025)

Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)

Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

Modal Separability of Fixpoint Formulae
by: Jung, Jean Christoph, et al.
Published: (2024)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
by: Benzmüller, Christoph
Published: (2025)

Definability of complex functions in o-minimal structures
by: Padgett, Adele, et al.
Published: (2025)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)