Advanced Logic 2011-2012

Wednesday, March 28, 2012, 08:45 - 11:30, room M129.

• complete definition sheet
• exercises sets: 1 2 3 4 5 6 7
• answers and definition sheets: 1 2 3 4 5 6 (the answers to exercises 7 are included in 6)

• assignments: 1 2 3
• answers: 1 2 3

• slides: 1 2 3 4 5 6 7
• overview

• 29 maart 2007 met uitwerkingen
• 13 juni 2007
• 27 maart 2008
• 12 juni 2008
• 26 maart 2009 met uitwerkingen
• March 25, 2011 + answers

• Dimitri Hendriks
• Cynthia Kop

• M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000
• S. Popkorn, First Steps in Modal Logic. Cambridge University Press, 1994
• P. Blackburn, M. de Rijke and Y. Venema, Modal Logic. Cambridge University Press, Theoretical Tracts in Computer Science, 2001.
• P. Blackburn, J. van Benthem, F. Wolter (eds.). Handbook of Modal Logic. Elsevier, Amsterdam, 2006.

• The website of the book Modal Logic for Open Minds.
• An entry for modal logic in the stanford encyclopedia of philosophy.
• Entry in Wikipedia. See also Kripke semantics.
• Advances in Modal Logic.