2 search results - page 1 / 1 » LQP: the dynamic logic of quantum information |
106
Voted
MSCS
2006
14 years 10 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
89
Voted
SLOGICA
2008
14 years 10 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...