Title: Dynamic Modal Logics - Changing Structures

==========================
Abstract: In this talk I will present some modal languages that allows
a real dynamic perspective over relational models.
First of all, I will introduce the basic modal logic just to fix some
notation, and then I will discuss two languages  specially
designed to express dynamic properties of models: Memory Logic and Swap Logic.

I will discuss some of the results we have already obtained for these
logic as examples of their behavior. In particular I will show that
the model checking problem for Memory Logic is PSpace-Complete (i.e.,
as hard as model checking full first-order logic); and a
characterization of Swap Logic as a fragment of First Order Logic.
The general message is that dynamic logics as the ones we presented
are very expressive, and that while general techniques can be adapted
to treat them, sometimes a new perspective is required.