On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

被引：0
作者：
D. Ponomaryov
机构：
[1] Ershov Institute of Informatics Systems,
[2] Novosibirsk State University,undefined
来源：
Lobachevskii Journal of Mathematics | 2021年 / 42卷
关键词：
decomposition; decidability; computational complexity;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2905 / 2912
页数：7
相关论文
共 50 条
[41]   First-Order Logic on Higher-Order Nested Pushdown Trees [J].
Kartzow, Alexander .
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (02)
[42]   The Decision Problem for Regular First Order Theories [J].
Mathur, Umang ;
Mestel, David ;
Viswanathan, Mahesh .
Proceedings of the ACM on Programming Languages, 2025, 9
[43]   First-Order Logic with Reachability Predicates on Infinite Systems [J].
Schulz, Stefan .
IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 :493-504
[44]   A first-order coalition logic for BDI-agents [J].
Chen, Qingliang ;
Su, Kaile ;
Sattar, Abdul ;
Luo, Xiangyu ;
Chen, Aixiang .
FRONTIERS OF COMPUTER SCIENCE, 2016, 10 (02) :233-245
[45]   An application of first-order logic to the study of recognizable languages [J].
Silva, PV .
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2004, 14 (5-6) :785-799
[46]   An analytical method for modeling first-order decay networks [J].
Sun, Yunwei ;
Buscheck, Thomas A. ;
Hao, Yue .
COMPUTERS & GEOSCIENCES, 2012, 39 :86-97
[47]   Kinetics of first-order phase transitions in a solid solution [J].
Slezov, VV .
PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 1997, 288 (1-6) :389-408
[48]   Compiling dyadic first-order specifications into map algebra [J].
Cantone, D ;
Formisano, A ;
Omodeo, EG ;
Zarba, CG .
THEORETICAL COMPUTER SCIENCE, 2003, 293 (02) :447-475
[49]   Axiomatizing the monodic fragment of first-order temporal logic [J].
Wolter, F ;
Zakharyaschev, M .
ANNALS OF PURE AND APPLIED LOGIC, 2002, 118 (1-2) :133-145
[50]   A first-order coalition logic for BDI-agents [J].
Qingliang Chen ;
Kaile Su ;
Abdul Sattar ;
Xiangyu Luo ;
Aixiang Chen .
Frontiers of Computer Science, 2016, 10 :233-245
12345