Bases for S4 and S4.2 without added axioms

J. Jay Zeman. Bases for S4 and S4.2 without added axioms. Notre Dame Journal of Formal Logic, 4(3):227-230, 1963. [doi]

Abstract

Abstract is missing.