Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"mu-calculus"”.
-
Games and logical expressiveness
… descriptive and computational complexity of the mu-calculus, a very powerful specification logic. As a first application, we address the model-checking problem for the mu-calculus, an issue of controversial algorithmic complexity, and show that our game naturally leads to instances that can be …
-
On games and logics over dynamically changing structures
… the 'saboteur' makes these games algorithmically much harder to solve. Further, we analyze corresponding modal logics which are augmented with cross-model modalities referring to submodels from which a transition has been removed. On the one hand, it turns out that these 'sabotage modalities' …
-
Modal and fixpoint linear logic.
… for the fixpoint operators of the modal mu-calculus, developed by D. Kozen, E. A. Emerson, E. Clarke, and others, in linear logic, and consider the translation of Y. Lafont's exponentials with the Free Storage rule into linear logic with fixpoint operators.
-
Pure and applied fixed point logics
… fixed-point extension of modal logic, the 'modal mu-calculus', is of particular interest and is among the best studied logics in this area. The main contribution of the second part is the introduction and study of the corresponding inflationary fixed-point logic. Contrary to the case of …
-
Parallel algorithms for verification of large systems
… a property. The property is usually given as formula of a temporal logic, and the system model as labelled transition system. However, the well-known state-space explosion effect is responsible for yielding transition systems of exponential size when compared to their description, and common …