Disjunction and existence properties in modal arithmetic

Taishi Kurahashi, Motoki Okuda

We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta (\mathrm{B})$,…