General Models and Completeness of First-Order Modal -calculus
Ryo Kashima, K. Okamoto · Journal of Logic and Computation · 2007
There is no recursive axiomatization of first-order modal μ-calculus that is complete with respect to usual Kripke models. Then we introduce ‘general’ models, and we prove that the natural axiom system of first-order modal μ-calculus is complete with respect to general models.