TY  - RPRT
TI  - Kripke Models for Classical Logic
AU  - Danko Ilik
AU  - Gyesik Lee
AU  - Hugo Herbelin
PY  - 2010
DO  - 10.1016/j.apal.2010.04.007
UR  - https://arxiv.org/abs/0904.0071
ID  - 0904.0071
ER  -