Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.06802 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)
by: Linnebo, Øystein
Published: (2026)
Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)
by: Gorbow, Paul
Published: (2026)
Development Processes
by: Gorbow, Paul
Published: (2025)
by: Gorbow, Paul
Published: (2025)
Chapter Føllesdal and Frege on Reference
by: Linnebo, Øystein
Published: (2019)
by: Linnebo, Øystein
Published: (2019)
The Many and the One
by: Florio, Salvatore, et al.
Published: (2021)
by: Florio, Salvatore, et al.
Published: (2021)
Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)
by: Atserias, Albert, et al.
Published: (2024)
Feasibility of Primality in Bounded Arithmetic
by: Jalali, Raheleh, et al.
Published: (2025)
by: Jalali, Raheleh, et al.
Published: (2025)
Proof Complexity and Feasible Interpolation
by: Tabatabai, Amirhossein Akbar
Published: (2025)
by: Tabatabai, Amirhossein Akbar
Published: (2025)
Are Dependent Types in Set Theory Feasible?
by: Yang, Yunsong, et al.
Published: (2026)
by: Yang, Yunsong, et al.
Published: (2026)
Feasibility Preservation under Monotone Retrieval Truncation
by: Plummer, Sean
Published: (2026)
by: Plummer, Sean
Published: (2026)
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)
by: Pinsker, Michael, et al.
Published: (2025)
A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
by: Baillot, Patrick, et al.
Published: (2024)
by: Baillot, Patrick, et al.
Published: (2024)
Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
by: Mutlu, Dicle, et al.
Published: (2025)
by: Mutlu, Dicle, et al.
Published: (2025)
Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)
by: Lutz, Patrick, et al.
Published: (2026)
Nairian Models
by: Blue, Douglas, et al.
Published: (2025)
by: Blue, Douglas, et al.
Published: (2025)
PFA and the definability of the nonstationary ideal
by: Hoffelner, Stefan, et al.
Published: (2023)
by: Hoffelner, Stefan, et al.
Published: (2023)
Logical Characterizations of Weighted Complexity Classes
by: Badia, Guillermo, et al.
Published: (2024)
by: Badia, Guillermo, et al.
Published: (2024)
Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)
by: Égré, Paul, et al.
Published: (2024)
Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)
by: Monir, Negar, et al.
Published: (2025)
Representations
by: Brunet, Paul
Published: (2025)
by: Brunet, Paul
Published: (2025)
Observation algebras: Heyting algebra over coherence spaces
by: Brunet, Paul
Published: (2025)
by: Brunet, Paul
Published: (2025)
Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)
by: Coquand, Thierry, et al.
Published: (2026)
Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)
by: van der Giessen, Iris, et al.
Published: (2026)
A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)
by: Antonelli, Melissa, et al.
Published: (2026)
A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)
by: Wang, Shanxia
Published: (2026)
Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)
by: De Domenico, Andrea, et al.
Published: (2026)
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)
by: de Groot, Jim, et al.
Published: (2026)
The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)
by: Pacheco, Leonardo
Published: (2026)
Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)
by: Geuvers, Herman
Published: (2026)
On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)
by: Kontinen, Juha, et al.
Published: (2026)
Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)
by: Wang, Shanxia
Published: (2026)
Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)
by: Tokuo, Kenji
Published: (2026)
Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)
by: Das, Anupam, et al.
Published: (2026)
Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)
by: de Groot, Jim, et al.
Published: (2026)
The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)
by: Santiago-Fernández, Sofía, et al.
Published: (2026)
The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)
by: Becker, Justus, et al.
Published: (2026)
A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)
by: Wang, Shanxia
Published: (2026)
Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)
by: Gheorghiu, Alexander V.
Published: (2026)
Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)
by: Toledo, Guilherme V., et al.
Published: (2026)