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 条

[1] Complexity of the Two-Variable Fragment with Counting Quantifiers
Ian Pratt-Hartmann
[J]. Journal of Logic, Language and Information, 2005, 14 (3) : 369 - 395
[2] Data-complexity of the two-variable fragment with counting quantifiers
Pratt-Hartmann, Ian
[J]. INFORMATION AND COMPUTATION, 2009, 207 (08) : 867 - 888
[3] On the complexity of the two-variable guarded fragment with transitive guards
Kieronski, Emanuel
[J]. INFORMATION AND COMPUTATION, 2006, 204 (11) : 1663 - 1703
[4] Weighted first-order model counting in the two-variable fragment with counting quantifiers
Kuželka, Ondřej
[J]. Kuželka, Ondřej (ondrej.kuzelka@fel.cvut.cz), 1600, AI Access Foundation (70): : 1281 - 1307
[5] Two-Variable First Order Logic with Counting Quantifiers: Complexity Results
Lodaya, Kamal
Sreejith, A. V.
[J]. DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 260 - 271
[6] Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Kuzelka, Ondrej
[J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2021, 70 : 1281 - 1307
[7] ADDING PATH-FUNCTIONAL DEPENDENCIES TO THE GUARDED TWO-VARIABLE FRAGMENT WITH COUNTING
Kourtis, Georgios
Pratt-Hartmann, Ian
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (04)
[8] Equivalence closure in the two-variable guarded fragment
Kieronski, Emanuel
Pratt-Hartmann, Ian
Tendera, Lidia
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (04) : 999 - 1021
[9] The two-variable fragment with counting and equivalence
Pratt-Hartmann, Ian
[J]. MATHEMATICAL LOGIC QUARTERLY, 2015, 61 (06) : 474 - 515
[10] A polynomial translation from the two-variable guarded fragment with number restrictions to the guarded fragment
Kazakov, Y
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 372 - 384

← 1 2 3 4 5 →