Overig

Practische Informatie:

• Docenten:
  • Jan Broersen (BBL-523)
  • Rosja Mastop
    
• Practicum-begeleiding:
  
  • Marieke Peeters (Aio Informatica)
    
  • Antje Rumberg (Aio Filosofie)
    
  • Felix Denis (studentassistent)
  • Gabe Dijkstra (studentassistent)
    

Vereiste Literatuur:

• Dynamic Epistemic Logic, Series: Synthese Library , Vol. 337, Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, 2007, XII, 296 p., Hardcover, ISBN: 9781402058387, Paperback, ISBN: 9781402069086, ISBN13: 9781402069086

Aanbevolen Literatuur:

• J.-J.Ch. Meyer en W. van der Hoek, Epistemic logic for AI and computer science, Cambridge Tracts in Theoretical Computer Science, No. 41 (1995) ISBN 052146014 (hardcover), ISBN 0521602807 (paperback).