Modal fixpoint logic: some model theoretic questions
Gwénaëlle Fontaine · UvA-DARE (University of Amsterdam) · 2010
This thesis is a study into some model-theoretic aspects of the modal µ-calculus, the extension of modal logic with least and greatest fixpoint operators. We explore these aspects through a fine-structure approach to the µ-calculus. That is, we concentrate on special classes of structures and particular fragments of the language. The methods we use also illustrate the fruitful interaction between the µ-calculus and other methods from automata theory, game theory and model theory.