TY  - RPRT
TI  - Intuitionistic modal logic based on neighborhood semantics without superset axiom
AU  - Tomasz Witczak
PY  - 2018
UR  - https://arxiv.org/abs/1707.03859
ID  - 1707.03859
ER  -