That all normal extensions of S4.3 have the finite model property. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (1966)

by R A Bull