Course on Logics for Quantum Information Flow
By Alexandru Baltag and Sonja Smets
References:
The list of relevant material for our ESSLLI 06 Course is very large. Below we mention only the main textbooks in the field and some of our research papers on which the course material is based.
Our Research Papers:
A. Baltag and S. Smets: "What can Logic Learn from Quantum Mechanics?".
A. Baltag and S. Smets: "LQP: The Dynamic Logic of Quantum Information".
A. Baltag and S. Smets: "Complete Axiomatizations for Quantum Actions".
Quantum Computation:
J. Gruska. Quantum Computing, The Mc Graw- Hill Companies, England, 1999
M. A. Nielsen and I.L. Chuang: Quantum Computation and Quantum Information, Cambridge University Press, 2001.
Quantum Logic:
M. Dalla Chiara, R. Giuntini and R. Greechie, Reasoning in Quantum Theory, Kluwer Academic Publishers, 2004.
C. Piron, Foundations of Quantum Physics, W.A. Benjamin Inc., Massachusetts (1976)
Modal Logic and Dynamic Logic:
P. Blackburn, M. de Rijke and Y. Venema, Modal Logic , Cambridge University Press, 2001.
D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, MIT press, Massachusetts, 2000.