Quantum Probabilistic Dyadic Second-Order Logic

DOI10.1007/978-3-642-39992-3_9zbMath1395.81016OpenAlexW123439126MaRDI QIDQ2849423

Kohei Kishida, Shengyang Zhong, Joshua Sack, Sonja Smets, Alexandru Baltag, 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

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

Related Items (3)

Logics of informational interactions ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs

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