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

Dynamic and Modal Aspects of Quantum Logic

View Flash MediaSite Live version of presentation
(Flash Presentation, 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.