ON MODAL MU-CALCULUS AND BUCHI TREE AUTOMATA

被引：4
|
作者：
KAIVOLA, R
机构：
[1] Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, EH9 3JZ, The King's Buildings
来源：
INFORMATION PROCESSING LETTERS | 1995年 / 54卷 / 01期
关键词：
FORMAL LANGUAGES; MODAL MU-CALCULUS; ALTERNATION; BUCHI-AUTOMATA;
D O I：
10.1016/0020-0190(94)00227-P
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：17 / 22
页数：6
相关论文
共 50 条
  • [1] Sahlqvist Correspondence for Modal mu-calculus
    Johan van Benthem
    Nick Bezhanishvili
    Ian Hodkinson
    [J]. Studia Logica, 2012, 100 : 31 - 60
  • [2] On the proof theory of the modal mu-calculus
    Studer T.
    [J]. Studia Logica, 2008, 89 (3) : 343 - 363
  • [3] DUALITY AND THE COMPLETENESS OF THE MODAL MU-CALCULUS
    AMBLER, S
    KWIATKOWSKA, M
    MEASOR, N
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 3 - 27
  • [4] Sahlqvist Correspondence for Modal mu-calculus
    van Benthem, Johan
    Bezhanishvili, Nick
    Hodkinson, Ian
    [J]. STUDIA LOGICA, 2012, 100 (1-2) : 31 - 60
  • [5] Simple Probabilistic Extension of Modal Mu-Calculus
    Liu, Wanwei
    Song, Lei
    Wang, Ji
    Zhang, Lijun
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 882 - 888
  • [6] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
  • [7] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 369 - 383
  • [8] A modal mu-calculus for durational transition systems
    Seidl, H
    [J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 128 - 137
  • [9] Algorithmic correspondence for intuitionistic modal mu-calculus
    Conradie, Willem
    Fomatati, Yves
    Palmigiano, Alessandra
    Sourabh, Sumit
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 564 : 30 - 62
  • [10] Simplifying the modal mu-calculus alternation hierarchy
    Bradfield, JC
    [J]. STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 39 - 49
12345