HANF NUMBER OF SECOND-ORDER LOGIC

被引：2
作者：
BARWISE, KJ [1 ]
机构：
[1] UNIV WISCONSIN,MADISON,WI 53706
来源：
JOURNAL OF SYMBOLIC LOGIC | 1972年 / 37卷 / 03期
关键词：
D O I：
10.2307/2272748
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：588 / 594
页数：7
相关论文
共 50 条
[31]   Boolean-Valued Second-Order Logic [J].
Ikegami, Daisuke ;
Vaananen, Jouko .
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) :167-190
[32]   Existential second-order logic over strings [J].
Eiter, T ;
Gottlob, G ;
Gurevich, Y .
JOURNAL OF THE ACM, 2000, 47 (01) :77-131
[33]   A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic [J].
Sorensen, Morten H. ;
Urzyczyn, Pawel .
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) :457-473
[34]   On translations of temporal logic of actions into monadic second-order logic [J].
Rabinovich, A .
THEORETICAL COMPUTER SCIENCE, 1998, 193 (1-2) :197-214
[35]   From finitary to infinitary second-order logic [J].
Weaver, G ;
Penev, I .
MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (05) :499-506
[36]   ON THE PARAMETERIZED INTRACTABILITY OF MONADIC SECOND-ORDER LOGIC [J].
Kreutzer, Stephan .
LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
[37]   Decision problems for second-order linear logic [J].
Lincoln, PD ;
Scedrov, A ;
Shankar, N .
LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 :127-143
[38]   A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC [J].
Siskind, B. E. N. J. A. M. I. N. ;
Mancosu, P. A. O. L. O. ;
Shapiro, S. T. E. W. A. R. T. .
REVIEW OF SYMBOLIC LOGIC, 2023, 16 (02) :339-350
[39]   On the Parameterised Intractability of Monadic Second-Order Logic [J].
Kreutzer, Stephan .
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 :348-363
[40]   Second-Order Equational Logic (Extended Abstract) [J].
Fiore, Marcelo ;
Hur, Chung-Kil .
COMPUTER SCIENCE LOGIC, 2010, 6247 :320-+
12345