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 [...]

This is a joint work with H. P. VAN DITMARSCH and R. VERBRUGGE. PDF Download: Sum and Product in Dynamic Epistemic Logic Abstract: The Sum-and-Product riddle was first published in the reference H. Freudenthal (1969, Nieuw Archief voor Wiskunde 3, 152) [6].We provide an overview on the history of the dissemination of this riddle through [...]

February 04, 2008 Source: http://www.ddj.com/206103622 2007 Turing Award Winners Announced For their groundbreaking work on Model Checking Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis are the recipients of the 2007 A.M. Turing Award for their work on an automated method for finding design errors in computer hardware and software. The method, called Model [...]

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 [...]

Authors: Hans van Ditmarsch and Ji Ruan Résumé : Dans les puzzles épistémiques les annonces d’ignorance, ou des séquences de tels annonces, souvent résultent en connaissances. Nous présentons le puzzle ‘Quelle Somme ?’, et le modèlisent dans la logique des annonces publiques – un langage logique avec des opérateurs dynamiques et épistémiques. La solution du [...]

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: [...]