REDUCTION OF 2ND-ORDER LOGIC TO MODAL LOGIC

被引：0

作者：

THOMASON, SK ^{[1
]}

机构：

[1] UNIV CANTERBURY,CHRISTCHURCH,ENGLAND

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1975年 / 21卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：107 / 114

页数：8