A logical analysis of quantum voting protocols
type: Item
instance of: scholarly article
title: A logical analysis of quantum voting protocols
zbMATH Open document ID: 1394.81022
author: Soroush Rafiee Rad
author: Elahe Shirinkalam
author: Sonja Smets
published in: International Journal of Theoretical Physics
publication date: 2018-02-05T00:00:00Z
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 6834020
zbMATH Keywords: dynamic quantum logic
zbMATH Keywords: quantum voting protocol
zbMATH Keywords: protocol verification
MaRDI profile type: Publication
full work available at URL: s10773-017-3409-4
OpenAlex ID: W2726784712
cites work: LQP: the dynamic logic of quantum information
cites work: Complete axiomatizations for quantum actions
cites work: A dynamic-logical perspective on quantum behavior
cites work: Quantum logic as a dynamic logic
cites work: The dynamic turn in quantum logic
cites work: PLQP \& Company: decidable logics for quantum algorithms
cites work: Correlated knowledge: an epistemic-logic view on quantum entanglement
cites work: Modeling correlated information change: from conditional beliefs to quantum conditionals
cites work: Epistemic quantum computational structures in a Hilbert-space environment
cites work: Quantum teleportation and quantum epistemic semantics
cites work: A quantum computational semantics for epistemic logical operators. I: Epistemic structures
cites work: Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
cites work: The logic of quantum mechanics
cites work: Quantum anonymous voting with anonymity check
cites work: Quantum approach to epistemic semantics
DOI: 10.1007/S10773-017-3409-4
description: scientific article; zbMATH DE number 6834020