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.php?vak=INFOLAI&jaar=2009