Cédric Dégremont


Technical Reports:

(with Olivier Roy) - “Agreement theorems in dynamic epistemic logic.”, Working Paper GRIPh-2009-??, University of Groningen [PDF]


(with Nina Gierasimczuk) - “Can doxastic agents learn? On the temporal structure of learning.”, in Proceedings of LORI 2009, Lectures Notes in Artificial Intelligence 5834, 90--104, 2009. [PDF]

(with Johan van Benthem) - "Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics", in Giacomo Bonanno, Wiebe van der Hoek and Benedikt Löwe, "Post-proceedings of LOFT 2008", Texts in Logic and Games, AUP, forthcoming  [PDF]

(with Lena Kurzen) - "Modal Logics for Reasoning about Preferences and Cooperation: Expressivity and Complexity", in Post-proceedings of KRAMAS 2008, Lecture Notes in Artificial Intelligence, Springer, 2009  [PDF]

(with Shahid Rahman) - "The Beetle in the Box: Exploring IF-Dialogues" in Aho, T. and Pietarinen, Ahti-Veikko - Truth and Games, Acta Philosophica Fennica, Helsinki, 2006 [PDF]

(some) Talks:

(with Olivier Roy) Agreement theorems in dynamic-epistemic logic, TARK 2009, Stanford University, Palo Alto, California, July 6 - 8, 2009 (Olivier gave the talk!)

(with Lena Kurzen) Modal Logics for Preferences and Cooperation: Expressivity and Complexity, KRAMAS 2008, Sydney, Australia, September 17 (Lena gave the talk!)

(with Johan van Benthem) Bridges between dynamic doxastic and temporal doxastic logics, LOFT 2008, Amsterdam, July 3 - 5, 2008

(with Jonathan A. Zvesper) "Dynamic logic for strategic reasoning in extensive games", Modèles formels de l'interaction, Paris, May 31 - June 2, 2007

(with Laurent Keiff) "Logical modelling as a negotiation problem", Augustus De Morgan Workshop on Belief revision, belief merging and social choice, King's College, London. November 8-10, 2006.

PhD Thesis (Amsterdam, 2010, supervised by Johan van Benthem)

"The Temporal Mind: observations on the logics of belief change in interactive systems"

Master Thesis (Philosophy, Lille, 2006, supervised by Shahid Rahman)

"Dialogical deliberative stit"


(with Nina Gierasimczuk, Lena Kurzen and Jakub Szymanik)

MSc Logic Project, January 2009: Interacting agents processing information

(with Olivia Ladinig)

MSc Logic Project, January 2008:
Music Cognition and Logic: Can they learn from each other?


DGL'08 : Workshop on Decision, Games and Logic

Seminar "Formal theories of Belief Revision" (University of Lille 3)

LCD'07 : Workshop on Logics on Collective Decision Making


(with Laurent Keiff and Helge Rückert) Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman , coll. Tributes, College Publications, London, 2008.

Research interests:

Modal logic

Game theory

(Computational) Social choice

Proof theory

PhD student at the ILLC,

Universiteit van Amsterdam

Supervisor: Johan van Benthem