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 条
[21]   First-order Frege theory is undecidable [J].
Goldfarb, W .
JOURNAL OF PHILOSOPHICAL LOGIC, 2001, 30 (06) :613-616
[22]   First-Order Frege Theory is Undecidable [J].
Warren Goldfarb .
Journal of Philosophical Logic, 2001, 30 :613-616
[23]   First-order Nilpotent minimum logics: first steps [J].
Bianchi, Matteo .
ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (3-4) :295-316
[24]   First-order Nilpotent minimum logics: first steps [J].
Matteo Bianchi .
Archive for Mathematical Logic, 2013, 52 :295-316
[25]   Two-Variable First-Order Logic with Equivalence Closure [J].
Kieronski, Emanuel ;
Michaliszyn, Jakub ;
Pratt-Hartmann, Ian ;
Tendera, Lidia .
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, :431-440
[26]   TWO-VARIABLE FIRST-ORDER LOGIC WITH EQUIVALENCE CLOSURE [J].
Kieronski, Emanuel ;
Michaliszyn, Jakub ;
Pratt-Hartmann, Ian ;
Tendera, Lidia .
SIAM JOURNAL ON COMPUTING, 2014, 43 (03) :1012-1063
[27]   Stratified guarded first-order transition systems [J].
Mueller, Christian ;
Seidl, Helmut .
FORMAL METHODS IN SYSTEM DESIGN, 2022, 65 (1) :39-69
[28]   First-order concatenation theory with bounded quantifiers [J].
Lars Kristiansen ;
Juvenal Murwanashyaka .
Archive for Mathematical Logic, 2021, 60 :77-104
[29]   A Decidable First-Order Logic for Medical Reasoning [J].
Kamide, Norihiro .
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6882 :235-245
[30]   First-Order Automatic Literal Model Generation [J].
Bromberger, Martin ;
Krasnopol, Florent ;
Moehle, Sibylle ;
Weidenbach, Christoph .
AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 :133-153
12345