| Title | Modal fixpoint logic: some model theoretic questions |
|---|---|
| Author | G.M.M. Fontaine |
| Thesis advisor | J.F.A.K. van Benthem; Y. Venema |
| Degree grantor | [unknown] |
| Date | 2010-12-09 |
| Reference(s) | modal logic; fixpoint; μ-calculus; completeness; expressive power; decidability |
| Language | English |
| Type | doctoral thesis |
| Publisher | Institute for Logic, Language and Computation |
| 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. |
| Publication | http://dare.uva.nl/record/359615 |
| Persistent Identifier | urn:nbn:nl:ui:29-359615 |
| Metadata | XML |
| Repository | University of Amsterdam |
Go to page top
Go back to contents
Go back to site navigation