TY  - RPRT
TI  - Disjunction and existence properties in modal arithmetic
AU  - Taishi Kurahashi
AU  - Motoki Okuda
PY  - 2022
UR  - https://arxiv.org/abs/2110.02576
ID  - 2110.02576
ER  -