Cover Image

Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Werbow, Jesse
Format:	Preprint
Published:	2024
Subjects:	Logic Mathematical Physics Quantum Physics 03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Axioms of Quantum Mechanics in light of Continuous Model Theory
by: Zilber, Boris
Published: (2025)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
by: Lambert, Michael J.
Published: (2024)

Tame Complexity of Effective Field Theories in the Quantum Gravity Landscape
by: Grimm, Thomas W., et al.
Published: (2026)

Topos-Theoretic Approaches to Quantum Theory
by: Vákár, Matthijs
Published: (2021)

On Contextuality as a Feature of Logic and Probability Theory
by: Ellingsen, Ask
Published: (2026)

Dirac - von Neumann axioms in the setting of Continuous Model Theory
by: Zilber, Boris
Published: (2025)

Linear Logic and Quantum Error Correcting Codes
by: Murfet, Daniel, et al.
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Four negations and the spectral presheaf
by: Engel, Benjamin, et al.
Published: (2026)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
by: Lindenhovius, Bert, et al.
Published: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators
by: Zhou, Heng, et al.
Published: (2024)

A natural deduction system for orthomodular logic
by: Kornell, Andre
Published: (2021)

Temporal Model On Quantum Logic
by: D'Agostino, Francesco
Published: (2025)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)

The Logical Structure of Physical Laws: A Fixed Point Reconstruction
by: Küçük, Eren Volkan
Published: (2025)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable
by: Arulseelan, Jananan, et al.
Published: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Higher Topos Theory in Physics
by: Schreiber, Urs
Published: (2023)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

The Ontological Calibration Theory: A Topo-Holographic Mechanism for Quantum Actualization and Photon Genesis
by: Victor, Gamov
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Relational Quantum Mechanics and Contextuality
by: Robson, Calum J.
Published: (2023)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
by: Barthe, Gilles, et al.
Published: (2025)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
by: Ross, Oscar Montiel
Published: (2026)

Contextuality of Quantum Error-Correcting Codes
by: Khu, Derek, et al.
Published: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
by: Ding, Yiwen, et al.
Published: (2024)

Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)

Connecting Quantum Contextuality and Nonlocality
by: Sheng, Jianqi, et al.
Published: (2026)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
by: Yamakami, Tomoyuki
Published: (2025)

Empirical Demonstration of Quantum Contextuality on NISQ Computers
by: Kelleher, Colm, et al.
Published: (2025)

A Quantum Algorithm For Computing Contextuality Bounds
by: Kelleher, Colm, et al.
Published: (2025)

The Size of Interpolants in Modal Logics
by: Cate, Balder ten, et al.
Published: (2025)

A Cohesive $\infty$-Topos with a Quantum Modality from Finite-Dimensional $C^{*}$-Algebras
by: Woo, Joey
Published: (2026)