Image de couverture de livre

A non-uniform view of Craig interpolation in modal logics with linear frames

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael
Format:	Preprint
Publié:	2023
Sujets:	Logic Logic in Computer Science 03B45 (Primary) 03C40 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

From Interpolating Formulas to Separating Languages and Back Again
par: Kurucz, Agi, et autres
Publié: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
par: Kuijer, Louwe, et autres
Publié: (2025)

Interpolation above S4
par: Santschi, Simon, et autres
Publié: (2026)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
par: Sato, Yuta
Publié: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
par: Olkhovikov, Grigory K., et autres
Publié: (2022)

Corrigendum to "Kim-independence in positive logic"
par: Dobrowolski, Jan, et autres
Publié: (2024)

Interpolation in Non-Classical Logics
par: Fussner, Wesley
Publié: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Inner models from extended logics and the Delta-operation
par: Väänänen, Jouko, et autres
Publié: (2025)

Notes on ultrafilter extensions of almost bounded structures
par: Molnár, Zalán
Publié: (2025)

Maehara Interpolation in Extensions of R-mingle
par: Fussner, Wesley, et autres
Publié: (2025)

Revisiting Interpolation in Relevant Logics
par: Fussner, Wesley, et autres
Publié: (2025)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

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

A meta-modal logic for bisimulations
par: Burrieza, Alfredo, et autres
Publié: (2025)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

Positive indiscernibles
par: Kamsma, Mark
Publié: (2023)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
par: Tanaka, Yoshihito
Publié: (2025)

Disjoint non-forking amalgamation in stable AECs
par: Beard, Jeremy
Publié: (2026)

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

Nonvaluational ordered Abelian groups of finite burden
par: Fujita, Masato
Publié: (2025)

The O-minimal Zilber Conjecture in Higher Dimensions
par: Castle, Benjamin
Publié: (2024)

On the spectrum of limit models
par: Beard, Jeremy, et autres
Publié: (2025)

Vaught's conjecture for theories of discretely ordered structures
par: Tanović, Predrag
Publié: (2022)

Orthogonality and domination in o-minimal expansions of ordered groups
par: Guerrero, Pablo Andújar, et autres
Publié: (2025)

Some definable types that cannot be amalgamated
par: Hils, Martin, et autres
Publié: (2022)

The interpolant existence problem for weak K4 and difference logic
par: Kurucz, Agi, et autres
Publié: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
par: Coniglio, Marcelo E.
Publié: (2023)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

Clarifying ordinals
par: Schweber, Noah
Publié: (2024)

An NIP-like Notion in Abstract Elementary Classes
par: Yang, Wentao
Publié: (2023)

Long limit models are isomorphic assuming a splitting-like relation
par: Beard, Jeremy
Publié: (2025)

Stable formulas in ordered structures
par: Hoffmann, Daniel Max, et autres
Publié: (2020)

The number of countable models of first-order theories
par: Pillay, Anand, et autres
Publié: (2025)

Model Theory of Homogeneous D-sets
par: Estrada, Felipe, et autres
Publié: (2025)