\input zb-basic
\input zb-ioport
\iteman{io-port 05734950}
\itemau{van Eijck, Jan}
\itemti{DEMO -- a demo of epistemic modelling.}
\itemso{van Benthem, Johan (ed.) et al., Interactive logic. Selected papers from the 7th Augustus de Morgan workshop on interactive logic: Games and social software, King's College, London, UK, November 4--7, 2005. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-356-4/pbk). Texts in Logic and Games 1, 303-362 (2007).}
\itemab
Summary: This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic to PDL. The paper gives an exemplar of tool building for epistemic update logic. It contains the essential code of an implementation of DEMO in Haskell, in Knuth's `literate programming' style.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{}
\end