A modal mu-calculus for durational transition systems

被引：3
|
作者：
Seidl, H [1 ]
机构：
[1] UNIV TRIER,FB INFORMAT 4,D-54286 TRIER,GERMANY
来源：
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/LICS.1996.561312
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：128 / 137
页数：10
相关论文
共 50 条
  • [1] 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
  • [2] 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)
  • [3] Sahlqvist Correspondence for Modal mu-calculus
    Johan van Benthem
    Nick Bezhanishvili
    Ian Hodkinson
    Studia Logica, 2012, 100 : 31 - 60
  • [4] On the proof theory of the modal mu-calculus
    Studer T.
    Studia Logica, 2008, 89 (3) : 343 - 363
  • [5] Local model-checking of modal Mu-calculus on acyclic Labeled Transition Systems
    Mateescu, R
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 281 - 295
  • [6] DUALITY AND THE COMPLETENESS OF THE MODAL MU-CALCULUS
    AMBLER, S
    KWIATKOWSKA, M
    MEASOR, N
    THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 3 - 27
  • [7] Sahlqvist Correspondence for Modal mu-calculus
    van Benthem, Johan
    Bezhanishvili, Nick
    Hodkinson, Ian
    STUDIA LOGICA, 2012, 100 (1-2) : 31 - 60
  • [8] PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
    Afshari, Bahareh
    Enqvist, Sebastian
    Leigh, Graham e.
    Marti, Johannes
    Venema, Yde
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [9] Characteristic mu-Calculus Formulas for Underspecified Transition Systems
    Fecher, Harald
    Steffen, Martin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (02) : 103 - 116
  • [10] 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
12345