| Home | Schedule | Assignments | Literature | Links | Course report |
| Description The course offers a concise introduction to basic themes and techniques in logical dynamics intended as ``the general theory of agents that produce, transform and convey information". At the end of the course the student will have a comprehensive overview of the main research questions driving the field of dynamic epistemic logic and will be familiar with the main logical tools and notions used in the field. The project will consist of a series of lectures (1 per week) in which themes and techniques are introduced and discussed, and more practical sessions (1 per week) in which aspects of the lecture material are discussed in some more depth and illustrated, for instance, by means of some exercises. Prerequisites Familiarity with modal logic is required. Assessment Students' evaluation will be based on exercises (to be assigned weekly) and a final paper. Comments are welcome! Send us an email
|