HANF NUMBER OF SECOND-ORDER LOGIC

被引：2

作者：

BARWISE, KJ ^{[1
]}

机构：

[1] UNIV WISCONSIN,MADISON,WI 53706

来源：

关键词：

D O I：

10.2307/2272748

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：588 / 594

页数：7

共 50 条

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