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