Kit Fine Logics Containing K4. Part I. 31-42 1974 39 J. Symb. Log. 1 db/journals/jsyml/jsyml39.html#Fine74