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 条
[41]   INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC [J].
Kaye, Richard .
JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (03) :845-858
[42]   Second-order Science: Logic, Strategies, Methods [J].
Umpleby, Stuart A. .
CONSTRUCTIVIST FOUNDATIONS, 2014, 10 (01) :16-23
[43]   Monadic second-order logic, tree automata, and constraint logic programming [J].
Morawietz, F .
MATHEMATICS OF SYNTACTIC STRUCTURE: TREES AND THEIR LOGICS, 1999, 44 :41-81
[44]   Existential Fixed-Point Logic as a Fragment of Second-Order Logic [J].
Blass, Andreas .
FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 :52-68
[45]   Existential second-order logic and modal logic with quantified accessibility relations [J].
Hella, Lauri ;
Kuusisto, Antti .
INFORMATION AND COMPUTATION, 2016, 247 :217-234
[46]   Hardware verification using monadic second-order logic [J].
Basin, DA ;
Klarlund, N .
COMPUTER AIDED VERIFICATION, 1995, 939 :31-41
[47]   On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates [J].
Berthe, Valerie ;
Karimov, Toghrul ;
Nieuwveld, Joris ;
Ouaknine, Joel ;
Vahanwala, Mihir ;
Worrell, James .
PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
[48]   Monadic second-order logic and bisimulation invariance for coalgebras [J].
ILLC, Universiteit Van Amsterdam, Netherlands ;
不详 .
Proc Symp Logic Comput Sci, (353-365)
[49]   ASNP: A Tame Fragment of Existential Second-Order Logic [J].
Bodirsky, Manuel ;
Knauer, Simon ;
Starke, Florian .
BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 :149-162
[50]   Quantifying over Trees in Monadic Second-Order Logic [J].
Benerecetti, Massimo ;
Bozzelli, Laura ;
Mogavero, Fabio ;
Peron, Adriano .
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
12345