@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/