27 September 2007, Logic Tea, Sonja Smets

This talk is based on joint work with A. Baltag on the use of concepts and techniques from Dynamic Epistemic Logic (DEL) to model and interpret quantum behavior. I start by giving a brief overview of traditional Quantum Logic, as a non-classical propositional logic. Then I move on to Goldblatt's early work on Modal Quantum Logic. Next I present a dynamic-epistemic setting for quantum logic, that can overcome some of the limitations of this earlier work.

For more information on this talk and future events please refer to the website at http://staff.science.uva.nl/~fitz/logic_tea or contact Joel Uckelmann (juckelma at science.uva.nl) or Edgar Andrade (E.J.AndradeLotero at uva.nl).