Viva means PhD thesis defence. And I passed it this afternoon.

In scientific publications, it is usually a good idea to have figures to illustrate how the theory works intuitively. But drawing a figure in Latex could be very time consuming. Here I introduce an easy way to draw figures in Latex. It was first discovered by my supervisor Wiebe.
Follow these steps:

Make sure that you [...]

Joint work with Wiebe van der Hoek and Michael Wooldridge. Published in the Proceedings of Workshop on Logic, Rationality and Interaction (LORI07), Beijing, August 2007.
PDF Download: Strategy Logics and the Game Description Language.
Any comments are welcome!
ABSTRACT: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the [...]

Authors: H.P. van Ditmarsch, J. Ruan, and W. van der Hoek
Abstract: We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. More in particular, given an epistemic state (pointed multi-agent Kripke model where all accessibility [...]

Authors: Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden and Ji Ruan
Abstract: We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results.
Keywords: Cryptography, unconditional security, model checking, information-based protocols, epistemic logic.
Download: this paper in pdf.
BibTex: from DBLP
@article{DBLP:journals/entcs/DitmarschHMR06,
author [...]