RESULTS IN HIGHER-ORDER MODAL LOGIC

被引：0

作者：

GALLIN, D

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：197 / 198

页数：2

共 50 条

[31] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
Czajka, Lukasz
[J]. JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
[32] Extensional Higher-Order Logic Programming
Charalambidis, Angelos
Handjopoulos, Konstantinos
Rondogiannis, Panagiotis
Wadge, William W.
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
[33] SOME REMARKS ON HIGHER-ORDER LOGIC
KOGALOVSKII, SR
[J]. DOKLADY AKADEMII NAUK SSSR, 1968, 178 (05): : 1007 - +
[34] Learning higher-order logic programs
Andrew Cropper
Rolf Morel
Stephen Muggleton
[J]. Machine Learning, 2020, 109 : 1289 - 1322
[35] Refinement of higher-order logic programs
Colvin, R
Hayes, I
Hemer, D
Strooper, P
[J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
[36] Higher-Order Logic and Disquotational Truth
Picollo, Lavinia
Schindler, Thomas
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (04) : 879 - 918
[37] HIGHER-ORDER LOGIC LEARNING AND λPROGOL
Pahlavi, Niels
[J]. TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 281 - 285
[38] Separation logic for higher-order store
Reus, Bernhard
Schwinghammer, Jan
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 575 - 590
[39] Functional procedures in higher-order logic
Laibinis, L
von Wright, J
[J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 372 - 387
[40] Higher-order transformation of logic programs
Seres, S
Spivey, M
[J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68