REMARKS ON HIGHER-ORDER MODAL LOGIC

被引：0
|
作者：
DACOSTA, NCA
DEALCANTARA, LP
机构：
来源：
ACTA CIENTIFICA VENEZOLANA | 1987年 / 38卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
下载
收藏
页码：282 / 284
页数：3
相关论文
共 50 条
  • [31] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [32] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
    Czajka, Lukasz
    JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
  • [33] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [34] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [35] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [36] HIGHER-ORDER LOGIC LEARNING AND λPROGOL
    Pahlavi, Niels
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 281 - 285
  • [37] Higher-Order Logic and Disquotational Truth
    Picollo, Lavinia
    Schindler, Thomas
    JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (04) : 879 - 918
  • [38] Separation logic for higher-order store
    Reus, Bernhard
    Schwinghammer, Jan
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 575 - 590
  • [39] Functional procedures in higher-order logic
    Laibinis, L
    von Wright, J
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 372 - 387
  • [40] Tabling for higher-order logic programming
    Pientka, B
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
12345