Steffen Lewitzka

Epistemic extensions of combined classical and intuitionistic propositional logic

2017 · Logic Journal of IGPL

Logic |$L$| was introduced by Lewitzka (2017, J. Logic and Comput., 27, 201–212) as a modal system that combines intuitionistic propositional logic IPC and classical propositional logic CPC: |$L$| is a conservative extension of CPC, …