Kit Fine Logics Containing K4. Part II. 619-651 1985 50 J. Symb. Log. 3 db/journals/jsyml/jsyml50.html#Fine85