@article{1093893710, author = {Zeman, J. Jay}, title = {Complete modalization in $S4.4$ and $S4.0.4$.}, journal = {Notre Dame J. Formal Logic}, volume = {10}, number = {1}, year = {1969}, pages = { 257-260}, language = {en}, url = {http://dml.mathdoc.fr/item/1093893710} }
Zeman, J. Jay. Complete modalization in $S4.4$ and $S4.0.4$.. Notre Dame J. Formal Logic, Tome 10 (1969) no. 1, pp. 257-260. http://gdmltest.u-ga.fr/item/1093893710/