Epistemic extensions of combined classical and intuitionistic propositional logic

Steffen Lewitzka

Logic $L$ was introduced by Lewitzka [7] as a modal system that combines intuitionistic and classical logic: $L$ is a conservative extension of CPC and it contains a copy of IPC vi…