TY  - RPRT
TI  - Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
AU  - Stanislav Kikot
AU  - Agi Kurucz
AU  - Yoshihito Tanaka
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2019
DO  - 10.1017/jsl.2019.22
UR  - https://arxiv.org/abs/1708.03403
ID  - 1708.03403
ER  -