Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2310.10576 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)
by: Vaz, Mahan, et al.
Published: (2025)
Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)
by: Caleiro, Carlos, et al.
Published: (2022)
Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)
by: Coniglio, Marcelo E.
Published: (2023)
A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)
by: Kurucz, Agi, et al.
Published: (2023)
Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)
by: Fussner, Wesley
Published: (2025)
Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)
by: Santschi, Simon, et al.
Published: (2026)
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
by: Wolter, Frank, et al.
Published: (2024)
by: Wolter, Frank, et al.
Published: (2024)
Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)
by: McKenzie, Zachiri
Published: (2024)
On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)
by: Pacheco, Leonardo
Published: (2023)
Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)
by: Lyon, Tim S.
Published: (2025)
The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)
by: McKenzie, Zachiri
Published: (2025)
Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)
by: Ye, Lingyuan
Published: (2026)
A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)
by: Eberl, Matthias
Published: (2024)
Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)
by: Väänänen, Jouko
Published: (2025)
Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)
by: Shapirovsky, Ilya B., et al.
Published: (2024)
Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
by: Kuijer, Louwe, et al.
Published: (2025)
by: Kuijer, Louwe, et al.
Published: (2025)
From Interpolating Formulas to Separating Languages and Back Again
by: Kurucz, Agi, et al.
Published: (2025)
by: Kurucz, Agi, et al.
Published: (2025)
On models of affine arithmetic
by: Bagheri, Seyed-Mohammad
Published: (2025)
by: Bagheri, Seyed-Mohammad
Published: (2025)
Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
by: Maia, Duarte
Published: (2026)
by: Maia, Duarte
Published: (2026)
Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)
by: Fussner, Wesley, et al.
Published: (2023)
Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)
by: Olkhovikov, Grigory K., et al.
Published: (2022)
A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)
by: Maschio, Samuele, et al.
Published: (2025)
Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)
by: Enayat, Ali
Published: (2024)
Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)
by: Bagheri, Seyed-Mohammad
Published: (2024)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)
by: Ayhan, Sara
Published: (2023)
Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)
by: Gonzalez, David, et al.
Published: (2025)
Some contributions to presheaf model theory
by: Brunner, Andreas, et al.
Published: (2024)
by: Brunner, Andreas, et al.
Published: (2024)
Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)
by: Abdul-Quader, Athar, et al.
Published: (2023)
The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)
by: Abdul-Quader, Athar, et al.
Published: (2024)
Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)
by: Zenger, Lukas
Published: (2026)
On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)
by: Capucci, Matteo
Published: (2024)
Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)
by: Fukumoto, Yusei
Published: (2025)
On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)
by: Ciardelli, Ivano, et al.
Published: (2023)
Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)
by: Bodirsky, Manuel, et al.
Published: (2025)
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)
by: Sato, Yuta
Published: (2025)
Preservation Theorems Through the Lens of Topology
by: Lopez, Aliaume
Published: (2020)
by: Lopez, Aliaume
Published: (2020)