General models and completeness of first-order modal mu-calculus
| Autor: | Ryo Kashima, Keishi Okamoto |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2008 |
| Předmět: |
Discrete mathematics
Logic Normal modal logic Kripke structure Multimodal logic Modal logic Modal μ-calculus Theoretical Computer Science Mathematics::Logic Arts and Humanities (miscellaneous) Hardware and Architecture Computer Science::Logic in Computer Science Completeness (order theory) Accessibility relation Calculus Kripke semantics Software Mathematics |
| Zdroj: | Journal of Logic and Computation. 18(No. 4):497-507 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|