TY  - RPRT
TI  - Multi-topological semantics for intuitionistic modal logic
AU  - Tomasz Witczak
PY  - 2019
UR  - https://arxiv.org/abs/1903.06900
ID  - 1903.06900
ER  -