Completeness Theorem of First-Order Modal μ-calculus ∗

Abstract

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

Topics

  • Presentations referencing similar topics