The main topic of the workshop is logical models of information change. Some different, well-known, ways to model change in logic are 'belief revision', 'dynamic epistemic logic', and 'temporal epistemic logic'.  In the first change is usually modelled on a meta-level, in the second in the logical language itself by way of dynamic modal operators, and in the third the dynamics is expressed indirectly (namely referring to the underlying structures) in temporal

operators. All three areas focus on the dynamics of information: information change. In the workshop we are interested in 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.

 

Traditional 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. We are interested in approaches to general logical dynamics that can also be interpreted as dynamics of information.  

 

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.

 

The purpose of the workshop is to discuss logical models of dynamics with explicit dynamic operators (not necessarily modal operators) in the logical language.

 

Are there such logics that combine interesting complexity features from different areas? Formalisms that correspond to flexible and appealing conceptualisations and result in succinct descriptions of systems?  Convenient model checking tools?