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 条
[21]   Second-Order Quantified Boolean Logic [J].
Jiang, Jie-Hong R. .
THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, :4007-4015
[22]   Second-order Logic and the Power Set [J].
Brauer, Ethan .
JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (01) :123-142
[23]   Extensionalizing Intensional Second-Order Logic [J].
Payne, Jonathan .
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) :243-261
[24]   Arity and alternation in second-order logic [J].
Makowsky, JA ;
Pnueli, YB .
ANNALS OF PURE AND APPLIED LOGIC, 1996, 78 (1-3) :189-202
[25]   Computability by monadic second-order logic [J].
Engelfriet, Joost .
INFORMATION PROCESSING LETTERS, 2021, 167
[26]   Existential second-order logic over strings [J].
Eiter, T ;
Gottlob, G ;
Gurevich, Y .
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, :16-27
[27]   Entity Correspondence with Second-Order Markov Logic [J].
Xu, Ying ;
Gao, Zhiqiang ;
Wilson, Campbell ;
Zhang, Zhizheng ;
Zhu, Man ;
Ji, Qiu .
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013, PT I, 2013, 8180 :1-14
[28]   Circle graphs and monadic second-order logic [J].
LaBRI, Université Bordeaux 1, CNRS, 351 Cours de la libération, 33405 Talence Cedex, France .
Journal of Applied Logic, 2008, 6 (03) :416-442
[29]   SOGrounder: Modelling and Solving Second-Order Logic [J].
van der Hallen, Matthias ;
Janssens, Gerda .
SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, :72-76
[30]   Monadic Second-Order Logic on Finite Sequences [J].
D'Antoni, Loris ;
Veanes, Margus .
ACM SIGPLAN NOTICES, 2017, 52 (01) :232-245
12345