:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gorbow, Paul, Linnebo, Øystein
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2602.06802
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Strict potentialism in modal mirrors
par: Linnebo, Øystein
Publié: (2026)

Intentic Semantics for Potentialist Truthmaking
par: Gorbow, Paul
Publié: (2026)

Development Processes
par: Gorbow, Paul
Publié: (2025)

Chapter Føllesdal and Frege on Reference
par: Linnebo, Øystein
Publié: (2019)

The Many and the One
par: Florio, Salvatore, et autres
Publié: (2021)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
par: Atserias, Albert, et autres
Publié: (2024)

Feasibility of Primality in Bounded Arithmetic
par: Jalali, Raheleh, et autres
Publié: (2025)

Proof Complexity and Feasible Interpolation
par: Tabatabai, Amirhossein Akbar
Publié: (2025)

Are Dependent Types in Set Theory Feasible?
par: Yang, Yunsong, et autres
Publié: (2026)

Feasibility Preservation under Monotone Retrieval Truncation
par: Plummer, Sean
Publié: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
par: Baillot, Patrick, et autres
Publié: (2024)

Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
par: Mutlu, Dicle, et autres
Publié: (2025)

Nonembeddings of Combinatory Algebras
par: Lutz, Patrick, et autres
Publié: (2026)

Nairian Models
par: Blue, Douglas, et autres
Publié: (2025)

PFA and the definability of the nonstationary ideal
par: Hoffelner, Stefan, et autres
Publié: (2023)

Logical Characterizations of Weighted Complexity Classes
par: Badia, Guillermo, et autres
Publié: (2024)

Probabilistic consequence relations
par: Égré, Paul, et autres
Publié: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
par: Monir, Negar, et autres
Publié: (2025)

Representations
par: Brunet, Paul
Publié: (2025)

Observation algebras: Heyting algebra over coherence spaces
par: Brunet, Paul
Publié: (2025)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
par: Wang, Shanxia
Publié: (2026)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Support is Search
par: Gheorghiu, Alexander V.
Publié: (2026)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)