A new axiomatization of modal system K1.2

Boleslaw Sobocinski. A new axiomatization of modal system K1.2. Notre Dame Journal of Formal Logic, 14(3):413-414, 1973. [doi]

Abstract

Abstract is missing.