Logic between Expressivity and Complexity
Johan van Benthem

Abstract:
Automated deduction is not just application or implementation of
logical systems. The field of computational logic also poses deep
challenges to our understanding of logic itself. I will discuss some
key issues. This text is just an appetizer that will be elaborated in
the lecture.

Keywords: modal logic, dynamic logic, expressive power, complexity,
bisimulation, fragments, computational logic