Belief revision and dynamic logic
15-19 August, 2005

workshop organized as part of
European Summer School on Logic, Language and Information
8-19 August, 2005 in Edinburgh

Workshop Organizers:

Andreas Herzig ("herzig at") and Hans van Ditmarsch ("hans at")

Workshop Purpose:

In 'standard' AGM belief revision, a deductively closed theory T is revised with a formula phi, resulting in a revised theory T * phi. Typically, the negation of phi is in T and has to be 'retracted'. A fairly recent way to model belief revision is within more general theories of action and change such as dynamic logic, as sketched first in 'Two traditions in the logic of belief: bringing them together', by Segerberg (1996, and 1999). In this setting a pointed Kripke model for belief in the theory T satisfies in particular B ~phi, and a dynamic modal operator [* phi], for 'belief revision with phi', is interpreted as an epistemic state transformer [[* phi]]. In the resulting epistemic state then holds B phi. There are also other general frameworks, that have been investigated recently in AI, such as situation calculus and fluent calculus. Such dynamic (and generally epistemic) approaches allow in a natural fashion for multi-agent belief revision, for belief revision with epistemic beliefs (typically: of other agents), and provide refreshing insights on irrevocable belief revision and iterated belief revision.

Workshop Topics:

Submission details:

Authors are invited to submit an extended abstract describing original work. Submissions should not exceed 8 pages. The following formats are accepted: PDF, PS, Word, ASCII text. Please send your submission electronically by an email to by the deadline listed below. The submissions will be reviewed by the workshop's programme committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be available on the workshop website. A selection of papers might be published in a special issue of the Journal of Applied Non-Classical Logics.

Workshop format:

The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic.

Important Dates:

Invited Speakers:

to be announced

Workshop Programme Committee:

Local Arrangements:

All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. Moreover, a number of additional fee waiver grants will be made available by the OC on a competitive basis and workshop participants are eligible to apply for those. There will be no reimbursement for travel costs and accommodation. Workshop speakers who have difficulty in finding funding should contact the local organizing committee to ask for the possibilities for a grant.

Further Information:

About the workshop: