|
De leerdoelen van LAI zijn: vertrouwd raken met de syntax en leren kennen van de semantieken
en motiveringen van verschillende modale logica's; het begrijpen en kunnen
hanteren van concepten als (modale) `bewijsbaarheid' en `geldigheid'; `frame';
`correspondentie'; de `modale systemen K, KD, KD4, S4
en S5'; `bisimulatie'; `volledigheid'; `canoniek
model'; `common knowledge';
`distributed knowledge';
`gedistribueerde systemen'; `interpreted system'; `kennis-geloof-interactie'; `omniscience';
`weak modal systems'; `neighborhood semantics'; `impossible worlds semantics'; `public announcement logic'; `product
update'; etc.
http://www.cs.uu.nl/education/vak/lai
|
|