When it comes to philosophical logic, the University of Amsterdam and Stanford’s Johan van Benthem is the current ‘heavyweight champion’. His innovative approach to the mechanics of modal logic has been dazzling people since the 1980s: the most recent incarnation of his wisdom is a lecture course “Modal Logic for Open Minds“, which addresses Amsterdam topics like bisimulation in a friendly manner. Very cool.

2 comments
Comments feed for this article
April 21, 2012 at 1:32 am
Kit Marr
What is your sumnation of bisymetry and what is an Amsterdam topic?
April 21, 2012 at 1:35 am
Kit Marr
The topic was bisimulation, sorry, but I would like your definition and what is your definition of an “Amsterdam” topic?