@article{1183738945,
author = {Fine, Kit},
title = {Logics Containing $K4$. Part I},
journal = {J. Symbolic Logic},
volume = {39},
number = {1},
year = {1974},
pages = { 31-42},
language = {en},
url = {http://dml.mathdoc.fr/item/1183738945}
}
Fine, Kit. Logics Containing $K4$. Part I. J. Symbolic Logic, Tome 39 (1974) no. 1, pp. 31-42. http://gdmltest.u-ga.fr/item/1183738945/