Intuitionistic modal logic: A 15-year retrospective

Charles Stewart, Valeria De Paiva, Natasha Alechina

Research output: Contribution to journal › (Systematic) Review article

Original language	English
Pages (from-to)	873-882
Number of pages	10
Journal	Journal of Logic and Computation
Volume	28
Issue number	5
DOIs	https://doi.org/10.1093/logcom/exv042
Publication status	Published - 20 Jul 2018
Externally published	Yes

Access to Document

@article{e3dd8f4c695b4ead89eb6975137e7baf,

title = "Intuitionistic modal logic: A 15-year retrospective",

author = "Charles Stewart and \{De Paiva\}, Valeria and Natasha Alechina",

year = "2018",

month = jul,

day = "20",

doi = "10.1093/logcom/exv042",

language = "English",

volume = "28",

pages = "873--882",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "5",

}

TY - JOUR

T1 - Intuitionistic modal logic

T2 - A 15-year retrospective

AU - Stewart, Charles

AU - De Paiva, Valeria

AU - Alechina, Natasha

PY - 2018/7/20

Y1 - 2018/7/20

UR - https://www.scopus.com/pages/publications/85028567811

U2 - 10.1093/logcom/exv042

DO - 10.1093/logcom/exv042

M3 - (Systematic) Review article

AN - SCOPUS:85028567811

SN - 0955-792X

VL - 28

SP - 873

EP - 882

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 5

ER -