Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2302.03167 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
by: Bodirsky, Manuel, et al.
Published: (2020)
by: Bodirsky, Manuel, et al.
Published: (2020)
Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)
by: Flaminio, Tommaso, et al.
Published: (2025)
Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)
by: Dawar, Anuj, et al.
Published: (2024)
More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)
by: Pauly, Arno
Published: (2024)
Embeddability of graphs and Weihrauch degrees
by: Cipriani, Vittorio, et al.
Published: (2023)
by: Cipriani, Vittorio, et al.
Published: (2023)
Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)
by: Frey, Jonas
Published: (2023)
Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)
by: Pezlar, Ivo
Published: (2023)
Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)
by: Holliday, Wesley H.
Published: (2025)
Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)
by: Shamkanov, Daniyar
Published: (2014)
Algebraic Proof Theory for Infinitary Action Logic
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)
A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)
by: Jalili, Somaye, et al.
Published: (2020)
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)
by: Eberl, Matthias
Published: (2024)
First-Order Axiom Systems $\mathscr{E}_{d}$ and $\mathscr{E}_{da}$ Extending Tarski's $\mathscr{E}_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry
by: Guo, Hongyu
Published: (2025)
by: Guo, Hongyu
Published: (2025)
Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)
by: Karimi, Ahmad, et al.
Published: (2014)
Courcelle's Theorem Without Logic
by: Filmus, Yuval, et al.
Published: (2025)
by: Filmus, Yuval, et al.
Published: (2025)
Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)
by: Nation, J. B., et al.
Published: (2023)
Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)
by: Nation, J. B., et al.
Published: (2025)
Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)
by: Nation, J. B., et al.
Published: (2025)
Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)
by: Maschio, Samuele, et al.
Published: (2023)
On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)
by: Ackerman, Nathanael, et al.
Published: (2026)
Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)
by: Capucci, Matteo, et al.
Published: (2026)
The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)
by: Middelburg, C. A.
Published: (2026)
Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)
by: Cipriani, Vittorio, et al.
Published: (2025)
Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)
by: Hori, Hiromasa, et al.
Published: (2023)
Semi-Algebraic Proof Systems for QBF
by: Beyersdorff, Olaf, et al.
Published: (2025)
by: Beyersdorff, Olaf, et al.
Published: (2025)
Building complicated index models and Boolean algebras
by: Shelah, Saharon
Published: (2024)
by: Shelah, Saharon
Published: (2024)
On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)
by: Ciardelli, Ivano, et al.
Published: (2023)
Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)
by: Alsulami, Tumadhir, et al.
Published: (2024)
Structured Sunflowers
by: Ackerman, Nathanael, et al.
Published: (2025)
by: Ackerman, Nathanael, et al.
Published: (2025)
Finitely Bounded Homogeneity Turned Inside-Out
by: Rydval, Jakub
Published: (2021)
by: Rydval, Jakub
Published: (2021)
Graded Monads in the Semantics of Nominal Automata
by: Schulze, Hannes, et al.
Published: (2025)
by: Schulze, Hannes, et al.
Published: (2025)
On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)
by: Vialard, Isa
Published: (2022)
A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)
by: Aiguier, Marc, et al.
Published: (2024)
A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)
by: Shelah, Saharon
Published: (2014)
Noetherian theories
by: Martin-Pizarro, Amador, et al.
Published: (2023)
by: Martin-Pizarro, Amador, et al.
Published: (2023)
Grothendieck's Equality vs Voevodsky's Equality
by: Eckl, Thomas
Published: (2026)
by: Eckl, Thomas
Published: (2026)