ESSLLI'06 Course on Logics for Quantum Information Flow

By Alexandru Baltag and Sonja Smets

Slides have been made available to the students of ESSLLI 2006

References:

Our Research Papers:

A. Baltag and S. Smets: "What can Logic Learn from Quantum Mechanics?", this paper was presented at the ECAP05' workshop on quantum information. This is a paper written for philosophers and logicians (although it lacks most technicalities). Here we presented the main idea behind dynamic quantum logic.

A. Baltag and S. Smets: "LQP: The Dynamic Logic of Quantum Information", to appear in Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages. This paper deals mainly with the compound-system case and is written for a "computer science" and "quantum computation"-audience. (I guess one should actually first try to read the paper below on Complete Axiomatixations for Quantum Actions)

A. Baltag and S. Smets: "Complete Axiomatizations for Quantum Actions", to appear in the proceedings of IQSA2004, International Journal of Theoretical Physics. This paper deals only with single quantum systems, it begins with a good introduction and an overview of the idea behind quantum dynamic logic. The paper is written for quantum logicians and theoretical physicists.

For Quantum Computation:

J. Gruska. Quantum Computing, The McGraw-Hill Companies, England, 1999

M. A. Nielsen and I.L. Chuang: Quantum Computation and Quantum Information, Cambridge University Press, 2001.

For 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)

For 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