1. That all normal extensions of S4.3 have the finite model property;Bull;Zeitschrift für math. Logik und Grundlagen der Mathematik,1966
2. Fine, K., 1970, An intermediate logic without the finite model property, Edinburgh University (unpublished)
3. Gabbay, D. M., 1969, Decidability results in nonclassical logics (unpublished)
4. The decidability of the Kreisel-Putnam system;Gabbay;Journal of Symbolic Logic,1971
5. On decidable finitely axiomatizable modal and tense logics without the finite model property;Gabbay;Israel Journal of Mathematics,1971