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.


(MP4 Medium Res, MP3, Windows Presentation,Windows Video File,PDF)

Recording Details

Speaker(s): 
Alexandru Baltag
Collection/Series: 
Quantum Information, Computation and Logic: Exploring New Connections - 2005
PIRSA Number: 
05070091

Abstract

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