Loading Events

« All Events

  • This event has passed.

Quantum team logic

February 17, 2017 @ 1:00 pm - 3:00 pm

Speaker: Jouko Väänänen

Title: Quantum team logic

Abstract: A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy. We point out that the logical Bell's Inequalities are provable in the probability logic of Fagin, Halpern and Megiddo. Since it is now considered empirically established, most notably quite recently in Delft, that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this end we generalise the team semantics of dependence logic first to probabilistic team semantics, and then to what we call quantum team semantics.


February 17, 2017
1:00 pm - 3:00 pm


Room J, Building 31
Jaffalaan 5, Delft, Netherlands
+ Google Map