Posts Tagged ‘Jan’

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, deceptive messages [...]

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