THE FLUTED FRAGMENT REVISITED
THE FLUTED FRAGMENT REVISITED
复制标题
重新审视凹槽碎片
DOI：
10.1017/jsl.2019.33
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
PRATT-HARTMANN I
中科院分区：
文献类型：
--
作者：
PRATT-HARTMANN I
本文研究了一阶逻辑中变量数无界的可判定片段--凹槽片段。奎因。我们证明了这个片段的可满足性问题具有非初等的复杂性，从而反驳了W. C.普迪说，这是在NExpTime。更确切地说，我们认为。
We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, motivated by the work of W. V. Quine. We show that the satisfiability problem for this fragment has nonelementary complexity, thus refuting an earlier published claim by W. C. Purdy that it is in NExpTime. More precisely, we consider .
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
分离片段中困难问题的细粒度层次结构
DOI：
10.1109/lics.2017.8005094
发表时间：
2017
期刊：
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Marco Voigt
通讯作者：
Marco Voigt
蒯因的凹槽片段是非初级的
DOI：
--
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Pratt-Hartmann I
通讯作者：
Pratt-Hartmann I
超越基本的复杂层次结构
DOI：
--
发表时间：
2013
期刊：
TOCT
影响因子：
--
作者：
S. Schmitz
通讯作者：
S. Schmitz
凹槽公式和可判定性的限制
影响因子：
0.6
作者：
W. C. Purdy
通讯作者：
W. C. Purdy