General Models and Completeness of First-Order Modal  -calculus

Search this article

Description

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.

Journal

Details 詳細情報について

Report a problem

Back to top