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 条
  • [31] square in intuitionistic modal logic + Philosophical issues
    DeVidi, D
    Solomon, G
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1997, 75 (02) : 201 - 213
  • [32] SOME MODAL OPERATORS OVER INTUITIONISTIC LOGIC
    Drobyshevich, S. A.
    ALGEBRA AND LOGIC, 2015, 53 (06) : 506 - 509
  • [33] INTUITIONISTIC MODAL LOGIC AND SET-THEORY
    LANO, K
    JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (02) : 497 - 516
  • [34] A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
    Shramko, Yaroslav
    REVIEW OF SYMBOLIC LOGIC, 2016, 9 (02): : 251 - 265
  • [35] RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC
    Kojima, Kensuke
    REPORTS ON MATHEMATICAL LOGIC, 2012, 47 : 87 - 113
  • [36] THE 15-YEAR CAREER
    TAUBER, EM
    JOURNAL OF ADVERTISING RESEARCH, 1987, 26 (06) : 7 - 7
  • [37] Neuroendocrine carcinoma of the urinary bladder. 15-year retrospective analysis
    Peran Teruel, Miguel
    Gimenez Bachs, Jose Miguel
    Martinez Ruiz, Jesus
    Fernandez Anguita, Pedro Jesus
    Nunez Sarrion, Ma Angeles
    Pastor Guzman, Jose Maria
    Salinas Sanchez, Antonio S.
    Lorenzo Romero, Juan Gabriel
    Donate Moreno, Ma Jose
    Atienzar Tobarra, Manuel
    Virseda Rodriguez, Julio A.
    ARCHIVOS ESPANOLES DE UROLOGIA, 2012, 65 (02): : 237 - 243
  • [38] Bladder Injury During Cesarean Delivery: A Retrospective, 15-Year Study
    Morris, Sara
    Turocy, Jenna
    Dabney, Lisa
    Hardart, Anne
    OBSTETRICS AND GYNECOLOGY, 2016, 127 : 33S - 33S
  • [39] The health of individuals experiencing homelessness: a 15-year retrospective cohort study
    Calvo, Fran
    Alfranca, Rebeca
    Carbonell, Xavier
    Molina, Elda
    Font-Mayolas, Silvia
    JOURNAL OF SOCIAL DISTRESS AND THE HOMELESS, 2023, 32 (02) : 189 - 199
  • [40] 15-year retrospective of computational chemistry in the undergraduate curriculum at The University of Tulsa
    Purser, Gordon
    Medders, Gregory
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2015, 249
12345