Talk by Jan Jaspars and Emiel Krahmer
Unified Dynamics
We will show how different dynamic logics can be provided an
interpretation in terms of possible world semantics and how a {\it
unified}\/ dynamic modal logic (cf.\ Van Benthem/De Rijke) can be
defined for reasoning about these models. The resulting unified
perspective allows us to compare different dynamic theories in a
precise way. The use of the system enhances the transfer of logical
knowledge between dynamic logics. The procedure we will present
also enables one to create {\it new}\/ dynamic logics by
{\it dynamifying}\/ existing systems.
Paul Dekker, November 2, 1995