DUALITY AND THE COMPLETENESS OF THE MODAL MU-CALCULUS

被引：13
|
作者：
AMBLER, S [1 ]
KWIATKOWSKA, M [1 ]
MEASOR, N [1 ]
机构：
[1] UNIV BIRMINGHAM,SCH COMP SCI,BIRMINGHAM B15 2TT,W MIDLANDS,ENGLAND
来源：
THEORETICAL COMPUTER SCIENCE | 1995年 / 151卷 / 01期
关键词：
D O I：
10.1016/0304-3975(95)00045-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider the modal mu-calculus due to Kozen, which is a finitary modal logic with least and greatest fixed points of monotone operators. We extend the existing duality between the category of modal algebras with homomorphisms and the category of descriptive modal frames with contractions to the case of having fixed point operators. As a corollary, we obtain completeness results for two proof systems due to Kozen (finitary and infinitary) with respect to certain classes of modal frames. The rules are sound in every model, not only for validity.
引用
收藏
页码：3 / 27
页数：25
相关论文
共 50 条
  • [21] PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
    Afshari, Bahareh
    Enqvist, Sebastian
    Leigh, Graham e.
    Marti, Johannes
    Venema, Yde
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [22] Syntactic cut-elimination for a fragment of the modal mu-calculus
    Bruennler, Kai
    Studer, Thomas
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1838 - 1853
  • [23] Partial-order reduction in the weak modal mu-calculus
    Ramakrishna, YS
    Smolka, SA
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 5 - 24
  • [24] Effective Cut-elimination for a Fragment of Modal mu-calculus
    Grigori Mints
    Studia Logica, 2012, 100 : 279 - 287
  • [25] Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
    Dima, Catalin
    Maubert, Bastien
    Pinchinat, Sophie
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 179 - 191
  • [26] Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
    Dima, Catalin
    Maubert, Bastien
    Pinchinat, Sophie
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (03)
  • [27] Games for the mu-calculus
    Niwinski, D
    Walukiewicz, I
    THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
  • [28] Spatial logic of tangled closure operators and modal mu-calculus
    Goldblatt, Robert
    Hodkinson, Ian
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) : 1032 - 1090
  • [29] Bounded game-theoretic semantics for modal mu-calculus
    Hella, Lauri
    Kuusisto, Antti
    Ronnholm, Raine
    INFORMATION AND COMPUTATION, 2022, 289
  • [30] Domain mu-calculus
    Zhang, GQ
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2003, 37 (04): : 337 - 364
12345