Select All
PIRSA:05070091

Dynamic and Modal Aspects of Quantum Logic

APA

Baltag, A. (2005). Dynamic and Modal Aspects of Quantum Logic. Perimeter Institute for Theoretical Physics. https://pirsa.org/05070091

Talk numberPIRSA:05070091
Talk Type Conference

Abstract

Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms.