Epistemic extensions of combined classical and intuitionistic propositional logic

Steffen Lewitzka. Epistemic extensions of combined classical and intuitionistic propositional logic. Logic Journal of the IGPL, 25(3):309-324, 2017. [doi]

Abstract

Abstract is missing.