Intuitionistic Modal Logic: A 15-year retrospective

被引：5
|
作者：
Stewart, Charles
de Paiva, Valeria
Alechina, Natasha
机构：
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2018年 / 28卷 / 05期
关键词：
CALCULUS;
D O I：
10.1093/logcom/exv042
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
[No abstract available]
引用
收藏
页码：873 / 882
页数：10
相关论文
共 50 条
  • [1] On an Intuitionistic Modal Logic
    G. M. Bierman
    V. C. V. de Paiva
    Studia Logica, 2000, 65 (3) : 383 - 416
  • [2] Adult intussusception: A 15-year retrospective review
    Ma, Ka-Wing
    Li, Wing-Hong
    Cheung, Moon-Tong
    SURGICAL PRACTICE, 2012, 16 (01) : 6 - 11
  • [3] A 15-YEAR RETROSPECTIVE OF CHRONIC RHINITIS AND CRYOSURGERY
    PRINCIPATO, JJ
    EAR NOSE & THROAT JOURNAL, 1986, 65 (12): : 558 - 563
  • [4] Anal carcinoma: A 15-year retrospective analysis
    Olofinlade, O
    Adeonigbagbe, O
    Gualtieri, N
    Gingold, B
    Berlin, I
    Sayeed, R
    Robilotti, J
    SCANDINAVIAN JOURNAL OF GASTROENTEROLOGY, 2000, 35 (11) : 1194 - 1199
  • [5] Adolescent death: A 15-year retrospective review
    Batalis, NI
    Collins, KA
    JOURNAL OF FORENSIC SCIENCES, 2005, 50 (06) : 1444 - 1449
  • [6] Wellness Education for Dancers A 15-Year Retrospective
    Cardinal, Marita K.
    JOURNAL OF PHYSICAL EDUCATION RECREATION AND DANCE, 2009, 80 (05): : 29 - 39
  • [7] ON INTUITIONISTIC MODAL EPISTEMIC LOGIC
    WILLIAMSON, T
    JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (01) : 63 - 89
  • [8] INTUITIONISTIC TENSE AND MODAL LOGIC
    EWALD, WB
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (01) : 166 - 179
  • [9] A MODAL INTERPRETATION OF INTUITIONISTIC LOGIC
    LAVENDHOMME, R
    LUCAS, T
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1984, 298 (09): : 193 - 196
  • [10] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
    PRAWITZ, D
    JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
12345