Complexity of the guarded two-variable fragment with counting quantifiers

被引：0
|
作者：
Pratt-Hartmann, Ian [1 ]
机构：
[1] Univ Manchester, Sch Comp Sci, Manchester M13 9PL, Lancs, England
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2007年 / 17卷 / 01期
关键词：
two-variable fragment; guarded fragment; counting quantifiers; logic; complexity;
D O I：
10.1093/logcom/exl034
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The finite satisfiability problem for the guarded two-variable fragment with counting quantifiers is in EXPTIME.
引用
收藏
页码：133 / 155
页数：23
相关论文
共 50 条
  • [31] Complexity of two-variable dependence logic and IF-logic
    Kontinen, Juha
    Kuusisto, Antti
    Lohmann, Peter
    Virtema, Jonni
    [J]. INFORMATION AND COMPUTATION, 2014, 239 : 237 - 253
  • [32] The complexity of counting quantifiers on equality languages
    Martin, Barnaby
    Pongracz, Andras
    Wrona, Michal
    [J]. THEORETICAL COMPUTER SCIENCE, 2017, 670 : 56 - 67
  • [33] The Complexity of Counting Quantifiers on Equality Languages
    Martin, Barnaby
    Pongracz, Andras
    Wrona, Michal
    [J]. Pursuit of the Universal, 2016, 9709 : 333 - 342
  • [34] COMPLEXITY CLASSES DEFINED BY COUNTING QUANTIFIERS
    TORAN, J
    [J]. JOURNAL OF THE ACM, 1991, 38 (03) : 753 - 774
  • [35] On Exact Sampling in the Two-Variable Fragment of First-Order Logic
    Wang, Yuanhong
    Pu, Juhua
    Wang, Yuyi
    Kuzelka, Ondrej
    [J]. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [36] On two-variable means with variable weights
    Daróczy Z.
    Maksa G.
    Páles Z.
    [J]. Aequationes mathematicae, 2004, 67 (1-2) : 154 - 159
  • [37] Two-variable word equations
    Ilie, L
    Plandowski, W
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2000, 34 (06): : 467 - 501
  • [38] Restricted two-variable FO plus MOD sentences, circuits and communication complexity
    Tesson, P
    Thérien, D
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2005, 3580 : 526 - 538
  • [39] On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers
    Aceto, L
    Ésik, Z
    Ingólfsdóttir, A
    [J]. STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2000, 1770 : 267 - 278
  • [40] Two-variable word equations
    Ilie, L
    Plandowski, W
    [J]. STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECT OF COMPUTER SCIENCE, 2000, 1770 : 122 - 132
12345