Modal fixpoint logic: some model theoretic questions
| Authors | |
|---|---|
| Supervisors | |
| Award date | 09-12-2010 |
| ISBN |
|
| Number of pages | 246 |
| Publisher | Amsterdam: Institute for Logic, Language and Computation |
| Organisations |
|
| Abstract | 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. |
| Document type | PhD thesis |
| Note | ILLC dissertation series DS-2010-09 Research conducted at: Universiteit van Amsterdam |
| Language | English |
| Downloads | |
| Permalink to this page | |
