Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2601.05843 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)
by: Düntsch, Ivo, et al.
Published: (2023)
Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)
by: Häggblom, Matilda
Published: (2025)
Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)
by: Häggblom, Matilda
Published: (2024)
Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)
by: Häggblom, Matilda
Published: (2025)
Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)
by: de Jong, Tom, et al.
Published: (2024)
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)
Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)
by: Huang, Xu
Published: (2026)
Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)
by: Nakamura, Yuki
Published: (2026)
Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)
by: Barsukov, Alexey, et al.
Published: (2023)
Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)
by: Platzer, André, et al.
Published: (2025)
Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)
by: Hausmann, Daniel, et al.
Published: (2022)
Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)
by: Pradic, Cécilia, et al.
Published: (2025)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)
by: Borzechowski, Manfred, et al.
Published: (2025)
The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)
by: Galatos, Nick, et al.
Published: (2026)
Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)
by: Shapirovsky, Ilya B., et al.
Published: (2024)
First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
by: Poernomo, Iman
Published: (2025)
by: Poernomo, Iman
Published: (2025)
ASP Chef grows Mustache to look better
by: Alviano, Mario, et al.
Published: (2025)
by: Alviano, Mario, et al.
Published: (2025)
Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)
by: Bodirsky, Manuel, et al.
Published: (2024)
On the Computational Power of Extensional ESO
by: Bodirsky, Manuel, et al.
Published: (2025)
by: Bodirsky, Manuel, et al.
Published: (2025)
On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)
by: Ciardelli, Ivano, et al.
Published: (2023)
A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)
by: Allègre, Loïc, et al.
Published: (2024)
Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)
by: Japaridze, Giorgi
Published: (2024)
ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)
by: Wang, Shuai
Published: (2024)
Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)
by: De Domenico, Andrea, et al.
Published: (2022)
First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)
by: Catta, Davide, et al.
Published: (2025)
Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)
by: Japaridze, Giorgi
Published: (2026)
Uniform Interpolation
by: van Gool, Sam
Published: (2025)
by: van Gool, Sam
Published: (2025)
Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)
by: Hartonas, Chrysafis
Published: (2023)
A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)
by: Japaridze, Giorgi
Published: (2024)
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)
by: Lyon, Tim S.
Published: (2025)
Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)
by: Barbero, Fausto
Published: (2024)
Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)
by: Bezhanishvili, Nick, et al.
Published: (2024)
Evaluation trees for proposition algebra
by: Bergstra, Jan A., et al.
Published: (2015)
by: Bergstra, Jan A., et al.
Published: (2015)
First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)
by: Christensen, Ahmee
Published: (2024)
Extracting total Amb programs from proofs
by: Berger, Ulrich, et al.
Published: (2023)
by: Berger, Ulrich, et al.
Published: (2023)
Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)