TY  - RPRT
TI  - Epistemic extensions of combined classical and intuitionistic propositional logic
AU  - Steffen Lewitzka
PY  - 2017
DO  - 10.1093/jigpal/jzx004
UR  - https://arxiv.org/abs/1611.01429
ID  - 1611.01429
ER  -