Le contenu de cette page n’est pas disponible en français. Veuillez nous en excuser.

Dynamic and Modal Aspects of Quantum Logic

Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.

Recording Details

PIRSA Number: 


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