PIRSA Logo


PERIMETER INSTITUTE RECORDED SEMINAR ARCHIVE

PIRSA:05070091  ( MP4 Medium Res , MP3 , PDF ) Which Format?
Dynamic and Modal Aspects of Quantum Logic
Speaker(s): Alexandru Baltag
Abstract: Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms.
Date: 17/07/2005 - 3:30 pm
Valid XHTML 1.0!