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

Video Library

Since 2002 Perimeter Institute has been recording seminars, conference talks, and public outreach events using video cameras installed in our lecture theatres.  Perimeter now has 7 formal presentation spaces for its many scientific conferences, seminars, workshops and educational outreach activities, all with advanced audio-visual technical capabilities.  Recordings of events in these areas are all available On-Demand from this Video Library and on Perimeter Institute Recorded Seminar Archive (PIRSA)PIRSA is a permanent, free, searchable, and citable archive of recorded seminars from relevant bodies in physics. This resource has been partially modelled after Cornell University's arXiv.org. 

  

 

Dimanche juil 17, 2005
Speaker(s): 

Languages (syntax of modal logic, dynamic logic, epistemic logic). Relational (Kripke) models. Algebraic models (quantales, dynamic algebras). Axioms.

Pages