<p>An excellent book is <a href="http://rads.stackoverflow.com/amzn/click/0444506209" rel="nofollow">Rudiments of $\mu$-calculus</a>. It's not cheap though. You'd be better of learning from survey articles such as </p>

<ul>
<li><p><a href="http://homepages.inf.ed.ac.uk/jcb/Research/MLH-bradstir.pdf" rel="nofollow">Bradfield, Julian and Stirling, Colin. Modal mu-calculi. In: P. Blackburn, J. van Benthem and F. Wolter (eds.), The Handbook of Modal Logic pp. 721-756. Elsevier (2006)</a> or</p></li>
<li><p><a href="http://homepages.inf.ed.ac.uk/jcb/Research/bradfield-stirling-HPA-mu-intro.ps.gz" rel="nofollow">Bradfield, J. C. and Stirling, C. P. Modal logics and mu-calculi: an introduction. In Handbook of Process Algebra (eds. J. Bergstra, A. Ponse and S. Smolka) 293--330. Elsevier (2001).</a></p></li>
</ul>

CC BY-SA 2.5
2010-11-18T09:08:34.403Z
2010-11-18T09:08:34.403Z
Dave Clarke
<p>I need a book on <a href="http://en.wikipedia.org/wiki/Mu_calculus" rel="nofollow">Mu-Calculus</a> with lots of examples that can be used for self-study and preparation for exams.</p>

<reference-request><fl.formal-languages><mu-calculus><formal-systems>
Books on Mu-Calculus
Shambo
# Books on Mu-Calculus

(Asked by: username_0 on 2010-11-18)

I need a book on [Mu-Calculus](http://en.wikipedia.org/wiki/Mu_calculus) with lots of examples that can be used for self-study and preparation for exams.

**Tags:** reference-request, fl.formal-languages, mu-calculus, formal-systems


---

## 1 answers

### Answer by username_1 on 2010-11-18. Score: 9 | Accepted answer

An excellent book is [Rudiments of $\mu$-calculus](http://rads.stackoverflow.com/amzn/click/0444506209). It's not cheap though. You'd be better of learning from survey articles such as

* [Bradfield, Julian and Stirling, Colin. Modal mu-calculi. In: P. Blackburn, J. van Benthem and F. Wolter (eds.), The Handbook of Modal Logic pp. 721-756. Elsevier (2006)](http://homepages.inf.ed.ac.uk/jcb/Research/MLH-bradstir.pdf) or
* [Bradfield, J. C. and Stirling, C. P. Modal logics and mu-calculi: an introduction. In Handbook of Process Algebra (eds. J. Bergstra, A. Ponse and S. Smolka) 293--330. Elsevier (2001).](http://homepages.inf.ed.ac.uk/jcb/Research/bradfield-stirling-HPA-mu-intro.ps.gz)


---

