A modal logic amalgam of classical and intuitionistic propositional logic

Steffen Lewitzka. A modal logic amalgam of classical and intuitionistic propositional logic. Journal of Logic and Computation, 27(1):201-212, 2017. [doi]

Abstract

Abstract is missing.