Arithmetical completeness theorems for monotonic modal logics. - Haruka Kogure; Taishi Kurahashi (Ann. Pure Appl. Log., 2023)

On the conservation results for local reflection principles. - Haruka Kogure; Taishi Kurahashi (J. Log. Comput., 2025)