Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27 September 2007, Logic Tea, Sonja Smets

Speaker: Sonja Smets
Title: Dynamic-Epistemic Quantum Logic
Date: Thursday 27 September 2007
Time: 16:00-17:00
Location: Room P.019, Euclides Building, Plantage Muidergracht 24, Amsterdam

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 () or Edgar Andrade ().

Please note that this newsitem has been archived, and may contain outdated information or links.