Disjunction and existence Properties in Modal Arithmetic. - Taishi Kurahashi; Motoki Okuda (Rev. Symb. Log., 2024)