Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

4-8 August 2008, Workshop Dynamics in Logic @ ESSLLI 2008 Hamburg, Hamburg

Date: 4-8 August 2008
Location: Hamburg
Deadline: 8 March 2008

The workshop is on approaches with explicit dynamic operators in the language, i.e., as in dynamic epistemics, temporal epistemics and approaches to belief revision with explicit dynamic operators in the logical language. Tradional and independently well-established approaches to dynamics such as PDL and the many variants and extensions of dynamic logic in general, mu-calculus, and pi-calculus, are also in the focus of the workshop. New frontiers for dynamics in logic include: description logics and decidable fragments of FOL, semantic-web approaches, BDI-type logics, deontic logics, relations between knowability, ability, and the dynamics of knowledge, and cognitively motivated approaches. The workshop also welcomes work on information change as the result of deliberation, i.e., on the dynamics of reasoning.

For more information, see http://home.hib.no/ansatte/tag/dil08

Submission deadline: March 8

Please note that this newsitem has been archived, and may contain outdated information or links.