General introduction to logic, with emphasis on epistemic logic and logical analysis of games
propositional logic, predicate logic, epistemic logic, logic of games
Software (theme 1)
Internet
Software Analysis and Transformation

van Benthem, J. F. A. K, van Eijck, D.J.N, Jaspars, J.O.M, & van Ditmarsch, H. (2012). Logic in Action. Internet.