| |
| | Deelnemers in SIKS - Universiteit van Amsterdam, Fac. Rechtsgeleerdheid |
 | | Deelnemers in SIKS - Universiteit van Amsterdam, Fac. |
 | | Textbooks suitable for this course are van Vliet (2000; chapters 1-3 and 9-14), Pleefer (1998; chapters 1-2, 1-2, 4-5, 7, and 10), Sommerville (1996; chapters 1-8, 12-15, 22-27, 32-34), Pressman and Ince (2000; chapters 1-3, 11-14, 17, 20-22, 30-31). |
 | | The first two chapters of Meyer and van der Hoek (1995) give a thorough treatment of modal logic, in particular epistemic logic (the logic of knowledge and belief), including soundness and completeness issues, and its use to describe the knowledge of groups of agents. |
| www.cs.uu.nl /siks/homogeen.html (1953 words) |
|