University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Modalities in the Stone age

Raul Leal Rodriguez, University of Amsterdam
Flowin'Cat 2010, October 2010, University of Oxford

I will give an elementary introduction to modal logic from the coalgebraic point of view. I will concentrate in producing functors from modal logics and extracting modal logics for functors. The talk will be mainly based on examples.

[video] [streaming video]