Quantum logic as a dynamic logic (Q542128)

The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No. 2, 187--211 (2008; Zbl 1144.81432)]. They show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional.