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 条
  • [41] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [42] COMPACT FRAGMENT OF HIGHER-ORDER LOGIC
    MALITZ, J
    RUBIN, M
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 190 - 190
  • [43] AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC
    COQUAND, T
    EHRHARD, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 40 - 56
  • [44] A relational logic for higher-Order programs
    Aguirre A.
    Barthe G.
    Gaboardi M.
    Garg D.
    Strub P.-Y.
    2017, Association for Computing Machinery (01)
  • [45] A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC
    Mitani, Yo
    Kobayashi, Naoki
    Tsukada, Takeshi
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
  • [46] Higher-Order Logic and Disquotational Truth
    Lavinia Picollo
    Thomas Schindler
    Journal of Philosophical Logic, 2022, 51 : 879 - 918
  • [47] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [48] Namespace logic: A logic for a reflective higher-order calculus
    Meredith, LG
    Radestock, M
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 353 - 369
  • [49] Higher-Order Modal Logics: Automation and Applications
    Benzmueller, Christoph
    Paleo, Bruno Woltzenlogel
    REASONING WEB: WEB LOGIC RULES, 2015, 9203 : 32 - 74
  • [50] A higher order modal fixed point logic
    Viswanathan, M
    Viswanathan, R
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 512 - 528
12345