An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

被引：2
|
作者：
Krebs, Andreas [1 ]
Straubing, Howard [2 ]
机构：
[1] Univ Tubingen, Wilhelm Schickard Inst, Sand 13, D-72076 Tubingen, Germany
[2] Boston Coll, Comp Sci Dept, Chestnut Hill, MA 02467 USA
来源：
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2017年 / 18卷 / 04期
关键词：
FO2; Quantifier Alternation; J; Pseudovarities; Identities; CATEGORIES;
D O I：
10.1145/3149822
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We give an algebraic characterization, based on the bilateral semidirect product of finite monoids, of the quantifier alternation hierarchy in two-variable first-order logic on finite words. As a consequence, we obtain a new proof that this hierarchy is strict. Moreover, by application of the theory of finite categories, we are able to make our characterization effective: that is, there is an algorithm for determining the exact quantifier alternation depth for a given language definable in two-variable logic.
引用
收藏
页数：22
相关论文
共 50 条
  • [41] A simple combinatorial proof for the small model property of two-variable logic
    Ma, Yanger
    Tan, Tony
    INFORMATION PROCESSING LETTERS, 2021, 170
  • [42] On two-variable means with variable weights
    Daróczy Z.
    Maksa G.
    Páles Z.
    Aequationes mathematicae, 2004, 67 (1-2) : 154 - 159
  • [43] Two-variable word equations
    Ilie, L
    Plandowski, W
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2000, 34 (06): : 467 - 501
  • [44] Two-variable descriptions of regularity
    RWTH Aachen, Aachen, Germany
    Proc Symp Logic Comput Sci, (14-23):
  • [45] On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
    Kieronski, Emanuel
    Tendera, Lidia
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 123 - +
  • [46] A Two-Variable Fragment of English
    Ian Pratt-Hartmann
    Journal of Logic, Language and Information, 2003, 12 (1) : 13 - 45
  • [47] Two-variable word equations
    Ilie, L
    Plandowski, W
    STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECT OF COMPUTER SCIENCE, 2000, 1770 : 122 - 132
  • [48] A two-variable Artin conjecture
    Moree, P
    Stevenhagen, P
    JOURNAL OF NUMBER THEORY, 2000, 85 (02) : 291 - 304
  • [49] The Two-Variable Situation Calculus
    Gu, Yilan
    Soutchanski, Mikhail
    STAIRS 2006, 2006, 142 : 144 - +
  • [50] A two-variable interlace polynomial
    Arratia, R
    Bollobás, B
    Sorkin, GB
    COMBINATORICA, 2004, 24 (04) : 567 - 584
12345