General Models and Completeness of First-Order Modal -calculus
この論文をさがす
説明
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 of Logic and Computation
-
Journal of Logic and Computation 18 497-507, 2007-11-22
Oxford University Press (OUP)
