Epistemic modelling

Composing Models, (pdf)
(with Floor Sietsma, Jan van Eijck) Journal of Applied Non-classical Logic: 21(3-4): 397-425 2011 presented at LOFT 2010

Refinement of Kripke Models for Dynamics. (pdf, check Ch7 of my thesis for a better version )
(with
Francien Dechesne and Simona Orzan) ICTAC 2008: 111-125

PDL over Accelerated Labeled Transition Systems. (pdf, check Ch8 of my thesis for a better version)
(with
Taolue Chen and Jaco van de Pol) TASE 2008: 193-200