@article{1183741901,
author = {Fine, Kit},
title = {Logics Containing $K4$. Part II},
journal = {J. Symbolic Logic},
volume = {50},
number = {1},
year = {1985},
pages = { 619-651},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741901}
}
Fine, Kit. Logics Containing $K4$. Part II. J. Symbolic Logic, Tome 50 (1985) no. 1, pp. 619-651. http://gdmltest.u-ga.fr/item/1183741901/