UNDECIDABLE THEORIES IN STATIONARY-LOGIC

被引：0

|

作者：

SEESE, D

TUSCHIK, P

WEESE, M

机构：

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1982年 / 84卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：563 / 567

页数：5

相关论文

共 50 条

[21] UNDECIDABLE NO-CATEGORICAL THEORIES
ASH, CJ
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (02): : 423 - &
[22] TARSKI,ALFRED AND UNDECIDABLE THEORIES
MCNULTY, GF
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 890 - 898
[23] UNDECIDABLE PROPERTIES OF SYNTACTIC THEORIES
KLAY, F
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 136 - 149
[24] There are no minimal essentially undecidable theories
Murwanashyaka, Juvenal
Pakhomov, Fedor
Visser, Albert
JOURNAL OF LOGIC AND COMPUTATION, 2023, 34 (06) : 1159 - 1171
[25] The Logic of Action Lattices is Undecidable
Kuznetsov, Stepan
2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
[26] Weak theories of concatenation and minimal essentially undecidable theories
Higuchi, Kojiro
Horihata, Yoshihiro
ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (7-8): : 835 - 853
[27] Grid structures and undecidable constraint theories
Seynhaeve, F
Tison, S
Tommasi, M
Treinen, R
THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 453 - 490
[28] UNIFICATION IN PERMUTATIVE EQUATIONAL THEORIES IS UNDECIDABLE
SCHMIDTSCHAUSS, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (04) : 415 - 421
[29] A Universally Defined Undecidable Unimodal Logic
Hemaspaandra, Edith
Schnoor, Henning
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 364 - 375
[30] Weak essentially undecidable theories of concatenation
Murwanashyaka, Juvenal
ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (7-8) : 939 - 976

← 1 2 3 4 5 →