Computer Laboratory
University of Cambridge
4pm Tuesday 15th January 2002
Room 2511, JCMB, King's Buildings
In this talk, I will take a look at the expressive power of fixed-point extensions of modal logic. While the mu-calculus has been extensively studied, the modal inflationary calculus (MIC), which allows inflationary fixed points in place of least fixed points, was recently introduced and shown to be more expressive than the mu-calculus. The study also led us to consider a new technique for analysing the expressive power of modal logics, generalising automaticity of languages. I will illustrate the power of this technique through a variety of examples.
(this is joint work with Stephan Kreutzer)