Quantum Probabilistic Dyadic Second-Order Logic

DOI10.1007/978-3-642-39992-3_9MaRDI QIDQ2849423zbMATH OpenOpenAlexFDO

Authors Alexandru Baltag, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong, Jort Martinus Bergfeld

Publication date 17 September 2013

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39992-3_9

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68)

Recommendations

• scientific article; zbMATH DE number 5214892
• Quantum logic and probability theory
• Quantum probability - quantum logic
• Higher-order quantum logics
• Probabilistic forcing in quantum logics
• Quantum logic as a dynamic logic
• Disjunctive quantum logic in dynamic perspective
• Quantum logic and the classical propositional calculus
• scientific article; zbMATH DE number 3948264

Cited in

(10)

• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
• Logics of informational interactions
• Characterization of quantum states in predicative logic
• DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
• PLQP \& Company: decidable logics for quantum algorithms
• Computer Science Logic
• Probabilistic logic of quantum observations
• Quantum bounds for 2D-grid and Dyck language
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
• Birkhoff-von Neumann quantum logic as an assertion language for quantum programs

This page was built for publication: Quantum Probabilistic Dyadic Second-Order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849423)