BRICS · Contents · Lecture Notes

Modal mu-Calculus

A BRICS Mini-Course
February, 1995

Lectures by
Igor Walukiewicz
BRICS


Course Contents

Abstract from the lecture notes:

In this notes we consider propositional mu-calculus as introduced by Kozen. The main purpose of these notes is to present the completeness proof of the Kozen's axiomatisation of the mu-calculus. To achieve this goal we develop tools which allow us to give relatively simple proofs of results for the logic like:

These notes are intended to supplement a 6 hours course given in February 1995 at BRICS centre.

Lecture Notes

BRICS-NS-95-1