Bisimulation invariant monadic-second order logic in the finite

被引：1
|
作者：
Blumensath, Achim [1 ]
Wolf, Felix [2 ]
机构：
[1] Masaryk Univ Brno, Bot 68a, Brno 60200, Czech Republic
[2] Tech Univ Darmstadt, Inst TEMF, Grad Sch Excellence Computat Engn, Dolivostr 15, Darmstadt 64293, Germany
来源：
THEORETICAL COMPUTER SCIENCE | 2020年 / 823卷 / 26-43期
关键词：
Bisimulation; Monadic second-order logic; Composition method;
D O I：
10.1016/j.tcs.2020.03.001
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expressive power of this fragment coincides with that of the modal u-calculus. Using these characterisations we prove for some simple classes of transition systems that this is indeed the case. In particular, we show that, over the class of all finite transition systems with Cantor-Bendixson rank at most k, bisimulation-invariant MSO coincides with L. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页码：26 / 43
页数：18
相关论文
共 50 条
  • [31] Lower Bounds for the Complexity of Monadic Second-Order Logic
    Kreutzer, Stephan
    Tazari, Siamak
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 189 - 198
  • [32] MOSEL: A flexible toolset for Monadic Second-order Logic
    Kelb, P
    Margaria, T
    Mendler, M
    Gsottberger, C
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 183 - 202
  • [33] Monadic second order logic on graphs with local cardinality constraints
    Szeider, Stefan
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2008, PROCEEDINGS, 2008, 5162 : 601 - 612
  • [34] A Monadic Second-Order Temporal Logic framework for hypergraphs
    Bhuyan, Bikram Pratim
    Singh, T.P.
    Tomar, Ravi
    Meraihi, Yassine
    Ramdane-Cherif, Amar
    Neural Computing and Applications, 2024, 36 (35) : 22081 - 22118
  • [35] Monadic Second-Order Fuzzy Logic Expert System
    Qi, Yong
    Li, Weihua
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 519 - 523
  • [36] Axiomatizations and Computability of Weighted Monadic Second-Order Logic
    Achilleos, Antonis
    Pedersen, Mathias Ruggaard
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [37] On the completeness and the decidability of strictly monadic second-order logic
    Takagi, Kento
    Kashima, Ryo
    MATHEMATICAL LOGIC QUARTERLY, 2020, 66 (04) : 438 - 447
  • [38] On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
    Berthe, Valerie
    Karimov, Toghrul
    Nieuwveld, Joris
    Ouaknine, Joel
    Vahanwala, Mihir
    Worrell, James
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [39] Hardware verification using monadic second-order logic
    Basin, DA
    Klarlund, N
    COMPUTER AIDED VERIFICATION, 1995, 939 : 31 - 41
  • [40] Monadic second order logic and node relations on graphs and trees
    Bloem, R
    Engelfriet, J
    STRUCTURES IN LOGIC AND COMPUTER SCIENCE, 1997, 1261 : 144 - 161
12345