RESULTS IN HIGHER-ORDER MODAL LOGIC

被引：0

作者：

GALLIN, D

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：197 / 198

页数：2

共 50 条

[1] HAUPTSATZ FOR HIGHER-ORDER MODAL LOGIC
NISHIMURA, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 744 - 751
[2] Modal Pluralism and Higher-Order Logic
Clarke-Doane, Justin
McCarthy, William
[J]. PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
[3] Higher-order modal logic - A sketch
Fitting, H
[J]. AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
[4] REMARKS ON HIGHER-ORDER MODAL LOGIC
DACOSTA, NCA
DEALCANTARA, LP
[J]. ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
[5] TOPOS SEMANTICS FOR HIGHER-ORDER MODAL LOGIC
Awodey, Steve
Kishida, Kohei
Kotzsch, Hans-Christoph
[J]. LOGIQUE ET ANALYSE, 2014, (228) : 591 - 636
[6] Alternation Is Strict For Higher-Order Modal Fixpoint Logic
Bruse, Florian
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 105 - 119
[7] INTENSIONAL AND HIGHER-ORDER MODAL LOGIC - GALLIN,D
REIX, A
[J]. REVUE PHILOSOPHIQUE DE LOUVAIN, 1980, 78 (37) : 148 - 149
[8] A Relational Modal Logic for Higher-Order Stateful ADTs
Dreyer, Derek
Neis, Georg
Rossberg, Andreas
Birkedal, Lars
[J]. ACM SIGPLAN NOTICES, 2010, 45 (01) : 185 - 198
[9] A Relational Modal Logic for Higher-Order Stateful ADTs
Dreyer, Derek
Neis, Georg
Rossberg, Andreas
Birkedal, Lars
[J]. POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 185 - 198
[10] ON HIGHER-ORDER LOGIC
KOGALOVS.SR
[J]. DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &