## Modal Proof Theory, in Handbook of Modal Logic (edited by P.Blackburn

- Melvin Fitting
- J. Van Benthem, and F. Wolter, Elsevier,
- 2007

We prove that a natural axiom system of first-order modal μ-calculus is complete with respect to “general” models.

### Presentations referencing similar topics