Andreas Herzig

TEACHING: COURSES AND TUTORIALS
- introduction to propositional and predicate logic
  - Introduction à la logique - un cours sur le web (introduction to propositional and predicate logic; in French)
- introduction to modal and description logics
  - Kripke's World: an introduction to modal logics via tableau systems (course at ESSLLI 2010, with Olivier Gasquet, Bilal Said, and François Schwarzentruber)
    - previous course at the World Congress and School on Universal Logic III: course page
    - previous course at the World Congress and School on Universal Logic I: ppt file, pdf file (no colours)
  - Modal logics: applications and proof methods
    - short version in French: Logique modale et application à l'interaction
  - Introduction aux logiques de description (introduction to description logics; in French)
- reasoning about knowledge, belief, action, and agency
  - Action sentences (tutorial at SPE4, sept. 2011, with Jan Broersen)
  - Logics of action and agency (course at EASSS 2011 with Emiliano Lorini)
  - Logics of individual and collective intentionality (course at ESSLLI 2009 with Emiliano Lorini)
  - Logics of Agency and Multi-Agent Systems (course at ESSLLI'07, with Jan Broersen and Nicolas Troquard)
  - Belief Change, from AGM to Realistic Models, course at ESSLLI'01 (with Renata Wassermann)
  - Temps, espace, action et décision, un cours du DEA Représentation de la connaissance et formalisation du raisonnement (in French)