Texts and publications by Jelle Gerbrandy

Johan van Benthem, Jelle Gerbrandy, Eric Pacuit (2007) Merging Frameworks for Interaction: DEL and ETL, in: Dov Samet (ed.), Proceedings of TARK 11, pages 72-82. An extended version was published as ILLC Preprint PP-2007-08

Guido Boella, Jelle Gerbrandy, Joris Hulstijn (2007) A flexible method for dialogue design, in: Dov Samet (ed.), Proceedings of TARK 11, pages 160-169.

Jelle Gerbrandy (2007) Communication Strategies in Games Journal of Applied Non-Classical Logics, volume 17, number 2.

Jelle Gerbrandy (2007) The Surprise Examination, Synthese, volume 155, number 1, pages 21-33.

Jelle Gerbrandy and Luigi Sauro (2007) Plans in Cooperation Logic: A modular approach, Proceedings of the Workshop on Non-monotonic reasoning, action and change, IJCAI-07.

Johan van Benthem, Jelle Gerbrandy, Barteld Kooi (2006) Dynamic Update with Probabilities Proceedings of 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006). A much longer version is available as ILLC Preprint PP-2006-21.

Jelle Gerbrandy (2006) Logics of Propositional Control in: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (AAMAS), pages: 193 - 200.

Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge (2006) Reasoning about Action and Cooperation Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (AAMAS), pages 185 - 192

Leonardo Lesmo, Livio Robaldo, Jelle Gerbrandy (2006) Quantifiers in Dependency Tree Semantics, Proceedings of Inference in Computational Semantics (ICOS-05)

Jelle Gerbrandy (2005) Communication Strategies in Games, presented at the workshop Belief revision and dynamic logic of the European Summer School of Logic, Language and Information

Jelle Gerbrandy (2005) Epistemic Equivalence and Bisimulation

Jelle Gerbrandy (1999). Dynamic epistemic logic. In: Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke, editors, ‘Logic, Language and Computation: vol.2, pages 67--84.’ CSLI Publications, Stanford.

Jelle Gerbrandy and Anne-Marie Mineur (1999) Logici, een nieuwe mensensoort. Een interview met Johan van Benthem, in J. Gerbrandy, M. Marx, M. de Rijke & Y. Venema, eds, ‘JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday', Vossiuspers AUP.

Jelle Gerbrandy and Anne-Marie Mineur (1999) ` I am a logic. Interview with Dov Gabbay', in H. J. Ohlbach & U. Reyle, eds, `Logic Language and Reasoning', Kluwer Academic Publishers.

Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema, eds. (1999) JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday, Vossiuspers AUP.
(published as a site and a CD-ROM)

Jelle Gerbrandy (1999) Bisimulations on Planet Kripke. Ph. D. Thesis, University of Amsterdam (ILLC Dissertation series DS-1999-01)

Jelle Gerbrandy (1998) Public Announcements and Common Knowledge. Presented at a workshop on Common Ground and Public Information at the ESSLI X Conference

Jelle Gerbrandy (1998) Identity in Epistemic Semantics" in: ‘Proceedings of the third Conference on Information Theoretic Approaches to Logic, Language and Computation.’

Jelle Gerbrandy (1998) Distributed Knowledge In: Joris Hulstijn and Anton Nijholt, eds. (1998) ‘Twendial'98: Formal Semantics and Pragmatics of Dialogue,’ TWLT 13, pages 111--124. Universiteit Twente, Enschede.

Jelle Gerbrandy Questions of Identity (1997) in: P. Dekker et al (eds), In the Proceedings of the Eleventh Amsterdam Colloquium, ILLC/University of Amsterdam.

Jelle Gerbrandy and Willem Groeneveld (1997) Reasoning about Information Change. Journal of Logic, Language, and Information, 6:147-169. Reprinted in: ‘The Philosopher's Annual’, Volume XX - 1997

Jelle Gerbrandy (1997) Bisimulation and Bounded Bisimulation ILLC Research Report LP--1997--05.

Jelle Gerbrandy (1997) Changing the Common Ground In: Anton Benz and Gerhard Jäger, eds. (1997) ‘Proceedings of the Munich Workshop on Formal Semantics and Pragmatics of Dialogue’, pages 40--58. CIS, München.

last updated on june 30, 2007