TY  - RPRT
TI  - Wijesekera-style constructive modal logics
AU  - Tiziano Dalmonte
PY  - 2022
UR  - https://arxiv.org/abs/2210.09937
ID  - 2210.09937
ER  -