2007
DEMO --- A Demo of Epistemic Modelling
Publication
Publication
Presented at the
Augustus de Morgan Workshop
Additional Metadata | |
---|---|
Amsterdam University Press | |
J. F. A. K. van Benthem (Johan) , D. Gabbay , B. Lowe | |
Texts in Logic and Games | |
Augustus de Morgan Workshop | |
Organisation | Software Analysis and Transformation |
van Eijck, J. (2007). DEMO --- A Demo of Epistemic Modelling. In J. 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. |