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 条
  • [21] Higher-Order Coalition Logic
    Boella, Guido
    Gabbay, Dov M.
    Genovese, Valerio
    van der Torre, Leendert
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560
  • [22] A logic of higher-order preferences
    Jiang, Junli
    Naumov, Pavel
    SYNTHESE, 2024, 203 (06)
  • [23] On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
    Kobayashi, Naoki
    Lozes, Etienne
    Bruse, Florian
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 246 - 259
  • [24] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panos
    Wadge, William W.
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 91 - 103
  • [25] Partiality and Recursion in Higher-Order Logic
    Czajka, Lukasz
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 177 - 192
  • [26] A NOTE ON THE LOGIC OF (HIGHER-ORDER) VAGUENESS
    HECK, RG
    ANALYSIS, 1993, 53 (04) : 201 - 208
  • [27] On Models of Higher-Order Separation Logic
    Bizjak, Ales
    Birkedal, Lars
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 : 57 - 78
  • [28] Superposition for Full Higher-order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    AUTOMATED DEDUCTION, CADE 28, 2021, 12699 : 396 - 412
  • [29] Topological completeness for higher-order logic
    Awodey, S
    Butz, C
    JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (03) : 1168 - 1182
  • [30] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
12345