Logics of knowledge and belief (including belief change) (msc 03B42)
Software (theme 1)
Amsterdam University Press
J. F. A. K. van Benthem (Johan) , D. Gabbay , B. Lowe
Texts in Logic and Games
Augustus de Morgan Workshop
Software Analysis and Transformation

van Eijck, D.J.N. (2007). DEMO --- A Demo of Epistemic Modelling. In J. F. A. K van Benthem, D Gabbay, & B Lowe (Eds.), Interactive Logic --- Proceedings of the 7th {A}ugustus de {M}organ Workshop (pp. 305–363). Amsterdam University Press.