This document is unfortunately not available for download at the moment.
Johan van Benthem , Theo A. F. Kuipers , Henk Visser (2011) Synthese 179 (2).
Quantum logic as a dynamic logic
Alexandru Baltag, Sonja Smets
pp. 285-306
Not implemented yet !
Johan van Benthem , Theo A. F. Kuipers , Henk Visser (2011) Synthese 179 (2).
pp. 285-306
This document is unfortunately not available for download at the moment.