Charles Stewart, Valeria de Paiva, Natasha Alechina. Intuitionistic Modal Logic: A 15-year retrospective. Journal of Logic and Computation, 28(5):873-882, 2018. [doi]
@article{StewartPA18,
title = {Intuitionistic Modal Logic: A 15-year retrospective},
author = {Charles Stewart and Valeria de Paiva and Natasha Alechina},
year = {2018},
doi = {10.1093/logcom/exv042},
url = {https://doi.org/10.1093/logcom/exv042},
researchr = {https://researchr.org/publication/StewartPA18},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {28},
number = {5},
pages = {873-882},
}