Rudiments of [mu]-calculus /

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixe...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Arnold, A. (Andr�e), 1945-
Other Authors: Niwi�nski, Damian
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; New York : Elsevier, 2001.
Edition:1st ed.
Series:Studies in logic and the foundations of mathematics ; v. 146.
Subjects:
Algebraic logic.
Monotonic functions.
Fixed point theory.
Lattice theory.
Machine theory.
Logique alg�ebrique.
Fonctions monotones.
Th�eor�eme du point fixe.
Th�eorie des treillis.
Th�eorie des automates.
MATHEMATICS > Algebra > General.
Algebraic logic
Fixed point theory
Lattice theory
Machine theory
Monotonic functions
Algebra�ische logica.
Automatentheorie.
Speltheorie.
Programmeren (computers)
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • 1.Complete lattices and fixed-point theorems. 2. The mu-calculi: Syntax and semantics. 3. The Boolean mu-calculus. 4. Parity Games. 5. The mu-calculus on words. 6. The mucalculus over powerset algebras. 7. The mu-calculus versus automata. 8. Hierachy problems. 9. Distributivity and normal form results. 10. Decision problems. 11. Algorithms.

Similar Items