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 条
  • [21] Preface to intuitionistic modal logic 2017
    de Paiva, Valeria
    Artemov, Sergei
    1600, College Publications (08): : 2261 - 2263
  • [22] PREFACE TO INTUITIONISTIC MODAL LOGIC 2017
    De Paiva, Valeria
    Artemov, Sergei
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2261 - 2263
  • [23] Truthmaker Semantics for Intuitionistic Modal Logic
    Litland, Jon Erling
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2024,
  • [24] INTUITIONISTIC MODAL LOGIC MADE EXPLICIT
    Marti, Michel
    Studer, Thomas
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2016, 3 (05): : 877 - 901
  • [25] A modal logic amalgam of classical and intuitionistic propositional logic
    Lewitzka, Steffen
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 201 - 212
  • [26] Unintentional Pediatric Lithium Exposure A 15-Year Retrospective Analysis
    Seltzer, Justin A.
    Friedman, Nathan A.
    Winkler, Garret A.
    Lasoff, Daniel
    Cantrell, F. Lee
    PEDIATRIC EMERGENCY CARE, 2023, 39 (06) : 436 - 437
  • [27] CHED 445-Writing in chemistry: A 15-year retrospective
    Wallner, Tony
    Higgs, Paul I.
    Latosi-Sawin, Elizabeth
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2006, 232
  • [28] Metastatic Lesions to the Eye and Orbit: A 15-year Retrospective Review
    Quan, Ann
    Shah, Sona
    Cavuoto, Kara Marie
    Swaminathan, Swarup S.
    Garcia, Armando
    Johnson, Thomas E.
    Tse, David T.
    Lee, Wendy
    Harbour, J. William
    Dubovy, Sander
    INVESTIGATIVE OPHTHALMOLOGY & VISUAL SCIENCE, 2019, 60 (09)
  • [29] ECHOGRAPHIC CLASSIFICATION OF INTRAOCULAR TUMORS - A 15-YEAR RETROSPECTIVE ANALYSIS
    VERBEEK, AM
    THIJSSEN, JM
    CUYPERS, MHM
    BRINK, H
    DEUTMAN, AF
    ACTA OPHTHALMOLOGICA, 1994, 72 (04): : 416 - 422
  • [30] Some Modal Operators Over Intuitionistic Logic
    S. A. Drobyshevich
    Algebra and Logic, 2015, 53 : 506 - 509
12345