English | Français     A A     Connect With Us
 

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

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.