General introduction to logic, with emphasis on epistemic logic and logical analysis of games
, , ,
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.