Publications of Dr. Francien Dechesne

(back to my homepage)

On epistemic modeling and verification of security protocols:

articles

other


On logic and game semantics with imperfect information (IF-logic):

articles

thesis:

Game, Set, Maths: formal investigations into logic with imperfect information (2005, pdf);
PhD-thesis, defended on March 21, 2005, at the Department of Philosophy of the University of Tilburg.
(Please send me an e-mail if you would like to receive a paper copy.)

other:


MSc-thesis (in Dutch)

Alles op een rijtje -- een intuïtionistische verkenning van totale ordeningsstructuren (1996). Department of mathematics, Radboud Universiteit Nijmegen. Written under supervision of Dr. W.H.M. Veldman.

Some contributions to seminars, workshops and conferences:

Organisation of workshops and seminars:


teaching, supervision:

memberships: