TY  - RPRT
TI  - Correspondence Theory for Modal Fairtlough-Mendler Semantics of Intuitionistic Modal Logic
AU  - Zhiguang Zhao
PY  - 2022
UR  - https://arxiv.org/abs/2210.02216
ID  - 2210.02216
ER  -