Robert E. Kirk. Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic. Math. Log. Q., 25(25-29):409-410, 1979. [doi]
@article{Kirk79,
title = {Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic},
author = {Robert E. Kirk},
year = {1979},
doi = {10.1002/malq.19790252505},
url = {http://dx.doi.org/10.1002/malq.19790252505},
researchr = {https://researchr.org/publication/Kirk79},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {25},
number = {25-29},
pages = {409-410},
}