Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability (1963)

by R Montague
Venue:In Modal and Many-Valued Logics (Acta Philosophica Fennica