TY  - RPRT
TI  - Intuitionistic Epistemic Logic
AU  - Sergei Artemov
AU  - Tudor Protopopescu
PY  - 2016
DO  - 10.1017/s1755020315000374
UR  - https://arxiv.org/abs/1406.1582
ID  - 1406.1582
ER  -