Copertina

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wolter, Frank, Zakharyaschev, Michael
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Logic 03B45 (Primary) 03C40 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Interpolation above S4
di: Santschi, Simon, et al.
Pubblicazione: (2026)

Interpolation in Non-Classical Logics
di: Fussner, Wesley
Pubblicazione: (2025)

Revisiting Interpolation in Relevant Logics
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

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

Interpolation in Classical Propositional Logic
di: Koopmann, Patrick, et al.
Pubblicazione: (2025)

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

Logics of polyhedral reachability
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

Positive indiscernibles
di: Kamsma, Mark
Pubblicazione: (2023)

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

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

On Quantifiers for Quantitative Reasoning
di: Capucci, Matteo
Pubblicazione: (2024)

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

On Stability and Existence of Models in Abstract Elementary Classes
di: Mazari-Armida, Marcos, et al.
Pubblicazione: (2024)

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

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

Nonvaluational ordered Abelian groups of finite burden
di: Fujita, Masato
Pubblicazione: (2025)

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

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

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

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

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Logics of False Belief and Radical Ignorance
di: Fan, Jie
Pubblicazione: (2024)

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

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

Uniform Interpolation
di: van Gool, Sam
Pubblicazione: (2025)

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

Clarifying ordinals
di: Schweber, Noah
Pubblicazione: (2024)

Multidimensional asymptotic classes
di: Anscombe, Sylvy, et al.
Pubblicazione: (2024)