KNAW

Publication

Modal fixpoint logic: some model theoretic questions (2010) Open access

Pagina-navigatie:
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, 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