PIRSA:05070096  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format?

Speaker(s): Sonjas Smets, Alexandru Baltag

Abstract:

Date: 18/07/2005 - 4:30 pm

Collection: Quantum Information, Computation and Logic: Exploring New Connections

URL: http://pirsa.org/05070096/  Share:

PIRSA:05070091  ( Flash Presentation , Windows Presentation , Windows Video File , MP3 , PDF) Which Format?

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

Collection: Quantum Information, Computation and Logic: Exploring New Connections

URL: http://pirsa.org/05070091/  Share: