Posts Tagged ‘jpapers’

24
Jan

Action Emulation

This is a joint work with Professor Jan van Eijck(CWI, Netherlands), and Tomasz Sadzik(Stanford, USA). It was presented in Games, action and social software Workshop , 30 Oct – 3 Nov 2006 @ Lorentz Center, Leiden, the Netherlands. A pre-publication version is open for download: Action Emulation. Abstract: The effects of public announcements, private communications, [...]

09
Sep

Model checking Dynamic Epistemics in Branching Time

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

09
May

Model Checking Logic Puzzles

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

09
Dec

Model Checking Sum and Product

Authors: H. van Ditmarsch, J. Ruan, and L.C. Verbrugge Abstract: We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then implemented and its solution verified in the epistemic model checker DEMO. Download: this paper in pdf. [...]

09
Jul

Model Checking Russian Cards

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

07
Oct

Master of Logic Thesis: Exploring the Update Universe

This is my master thesis completed in the ILLC (Insitute for Logic Language and Computation) in October 2004. Supervisors: Professor Johan van Benthem, and Professor Jan van Eijck Abstract: In this thesis, I showed how BMS framework (the state-of-the-art Dynamic Epistemic Logic) models the cases of message passing, and proposed a logical axiomatisation called Logic CC. [...]

Page 2 of 212