Cover Image

From Interpolating Formulas to Separating Languages and Back Again

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03B45 (Primary) 03C40 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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)

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

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

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

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

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

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

Nonvaluational ordered Abelian groups of finite burden
by: Fujita, Masato
Published: (2025)

On the spectrum of limit models
by: Beard, Jeremy, et al.
Published: (2025)

Orthogonality and domination in o-minimal expansions of ordered groups
by: Guerrero, Pablo Andújar, et al.
Published: (2025)

The O-minimal Zilber Conjecture in Higher Dimensions
by: Castle, Benjamin
Published: (2024)

Vaught's conjecture for theories of discretely ordered structures
by: Tanović, Predrag
Published: (2022)

Some definable types that cannot be amalgamated
by: Hils, Martin, et al.
Published: (2022)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

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

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

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Long limit models are isomorphic assuming a splitting-like relation
by: Beard, Jeremy
Published: (2025)

The number of countable models of first-order theories
by: Pillay, Anand, et al.
Published: (2025)

Model Theory of Homogeneous D-sets
by: Estrada, Felipe, et al.
Published: (2025)

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Disjoint non-forking amalgamation in stable AECs
by: Beard, Jeremy
Published: (2026)

Multidimensional asymptotic classes
by: Anscombe, Sylvy, et al.
Published: (2024)

Density of compressible types and some consequences
by: Bays, Martin, et al.
Published: (2021)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

Towards a Finer Classification of Strongly Minimal Sets
by: Baldwin, John T., et al.
Published: (2021)

Inner models from extended logics and the Delta-operation
by: Väänänen, Jouko, et al.
Published: (2025)

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

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

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