Liberated versions of T, S4, and S5. Charles G. Morgan — 1975 Archiv für mathematische Logik und Grundlagenforschung