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

Dynamic and Modal Aspects of Quantum Logic

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.