:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Xu, Ming, Chen, Yihao, Guan, Ji
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Logic in Computer Science
Online Access:	https://arxiv.org/abs/2605.14356
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model Checking Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2021)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2022)

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

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
by: Barthe, Gilles, et al.
Published: (2025)

Toward Entailment Checking: Explore Eigenmarking Search
by: Katanyukul, Tatpong
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)

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

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
by: González-Castillo, Samuel, et al.
Published: (2026)

A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors
by: Heurtel, Nicolas
Published: (2024)

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

Commutation Groups and State-Independent Contextuality
by: Abramsky, Samson, et al.
Published: (2026)

Algebraic Structure of Quantum Controlled States and Operators
by: Agnew, Edwin, et al.
Published: (2026)

A Practical Quantum Hoare Logic with Classical Variables, I
by: Ying, Mingsheng
Published: (2024)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
by: Tulcan, Radu-Florin, et al.
Published: (2026)

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

Model Checking Logical Actions in Magic Tricks
by: Zhu, Weijun
Published: (2024)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
by: Matsushita, Yusuke, et al.
Published: (2025)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
by: Li, Zhengyu, et al.
Published: (2026)

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

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
by: Schirrmacher, Nicole, et al.
Published: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
by: Lyon, Tim S.
Published: (2026)

A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
by: Blake, Colin
Published: (2026)

End-to-End Formalization of Quantum Error Correction
by: Ehatamm, Mattias, et al.
Published: (2026)

Simpler Presentations for Many Fragments of Quantum Circuits
by: Blake, Colin
Published: (2026)

Planted-solution SAT and Ising benchmarks from integer factorization
by: Hen, Itay
Published: (2026)

A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
by: Clément, Alexandre
Published: (2026)

Formalizing CHSH Rigidity in Lean 4
by: Zhao, Tianrun, et al.
Published: (2026)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
by: Govindankutty, Arun, et al.
Published: (2026)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
by: Dawar, Anuj, et al.
Published: (2026)

Classical Explanations in (and of) General Probabilistic Theories
by: Harding, John, et al.
Published: (2026)