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.

22 June 2007, RUC-ILLC Workshop on Formalizing Actions, Roskilde University, Denmark

Date: Friday 22 June 2007
Location: Roskilde University, Denmark

In recent years formalizing actions has become a common theme in formal philosophy and philosophical logic. Understanding actions and agency is important for e.g. dynamic logic, deontic logic and epistemic logic. Actions might be seen as unique or as part of a more general theory of dynamic processes. In this workshop we bring together top researchers who formalize actions within dynamic logic, deontic logic, epistemic logic, formal decision theory, temporal logic - and any combination of these.

For more information, see http://akira.ruc.dk/~mamobe/actionworkshop.html.

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