On the Limits of Decision: the Adjacent Fragment of First-Order Logic

被引：0

作者：

Bednarczyk, Bartosz ^{[1
,2
]}

Kojelis, Daumantas ^{[3
]}

Pratt-Hartmann, Ian ^{[3
,4
]}

机构：

[1] Computational Logic Group, Technische Universität Dresden, Germany

[2] Institute of Computer Science, University of Wroclaw, Poland

[3] Department of Computer Science, University of Manchester, United Kingdom

[4] Institute of Computer Science, University of Opole, Poland

来源：

Leibniz International Proceedings in Informatics, LIPIcs | 2023年 / 261卷

关键词：

Atomic formulae - Complexity - Condition - Finite model property - First order logic - Guarded fragment - Order of variables - Satisfiability - Satisfiability problems - Variable-ordered logic;

D O I：

111

中图分类号：

学科分类号：

摘要：

引用