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 条
  • [1] SOME REMARKS ON HIGHER-ORDER LOGIC
    KOGALOVSKII, SR
    DOKLADY AKADEMII NAUK SSSR, 1968, 178 (05): : 1007 - +
  • [2] HAUPTSATZ FOR HIGHER-ORDER MODAL LOGIC
    NISHIMURA, H
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 744 - 751
  • [3] Higher-order modal logic - A sketch
    Fitting, H
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
  • [4] Modal Pluralism and Higher-Order Logic
    Clarke-Doane, Justin
    McCarthy, William
    PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
  • [5] RESULTS IN HIGHER-ORDER MODAL LOGIC
    GALLIN, D
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 197 - 198
  • [6] TOPOS SEMANTICS FOR HIGHER-ORDER MODAL LOGIC
    Awodey, Steve
    Kishida, Kohei
    Kotzsch, Hans-Christoph
    LOGIQUE ET ANALYSE, 2014, (228) : 591 - 636
  • [7] Alternation Is Strict For Higher-Order Modal Fixpoint Logic
    Bruse, Florian
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 105 - 119
  • [8] A Relational Modal Logic for Higher-Order Stateful ADTs
    Dreyer, Derek
    Neis, Georg
    Rossberg, Andreas
    Birkedal, Lars
    ACM SIGPLAN NOTICES, 2010, 45 (01) : 185 - 198
  • [9] INTENSIONAL AND HIGHER-ORDER MODAL LOGIC - GALLIN,D
    REIX, A
    REVUE PHILOSOPHIQUE DE LOUVAIN, 1980, 78 (37) : 148 - 149
  • [10] A Relational Modal Logic for Higher-Order Stateful ADTs
    Dreyer, Derek
    Neis, Georg
    Rossberg, Andreas
    Birkedal, Lars
    POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 185 - 198
12345