- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
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
-
- Journal of Logic and Computation
-
Journal of Logic and Computation 18 497-507, 2007-11-22
Oxford University Press (OUP)
- Tweet
Details 詳細情報について
-
- CRID
- 1874242817335605504
-
- ISSN
- 1465363X
- 0955792X
-
- Data Source
-
- OpenAIRE