Playing this video requires the latest flash player from Adobe.
Download link (right click and 'save-as') for playing in VLC or other compatible player.
Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms.