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] An Expressive Timed Modal Mu-Calculus for Timed Automata
    Cleaveland, Rance
    Keiren, Jeroen J. A.
    Fontana, Peter
    QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST-FORMATS 2024, 2024, 14996 : 160 - 178
  • [2] Sahlqvist Correspondence for Modal mu-calculus
    Johan van Benthem
    Nick Bezhanishvili
    Ian Hodkinson
    Studia Logica, 2012, 100 : 31 - 60
  • [3] On the proof theory of the modal mu-calculus
    Studer T.
    Studia Logica, 2008, 89 (3) : 343 - 363
  • [4] DUALITY AND THE COMPLETENESS OF THE MODAL MU-CALCULUS
    AMBLER, S
    KWIATKOWSKA, M
    MEASOR, N
    THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 3 - 27
  • [5] Sahlqvist Correspondence for Modal mu-calculus
    van Benthem, Johan
    Bezhanishvili, Nick
    Hodkinson, Ian
    STUDIA LOGICA, 2012, 100 (1-2) : 31 - 60
  • [6] Simple Probabilistic Extension of Modal Mu-Calculus
    Liu, Wanwei
    Song, Lei
    Wang, Ji
    Zhang, Lijun
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 882 - 888
  • [7] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
  • [8] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 369 - 383
  • [9] A modal mu-calculus for durational transition systems
    Seidl, H
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 128 - 137
  • [10] Simplifying the modal mu-calculus alternation hierarchy
    Bradfield, JC
    STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 39 - 49
12345