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 f4v compatible player.


Download Video


Recording Details

Speaker(s): 
PIRSA Number: 
05070091

Abstract

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