Intuitionistic monotone modal logic via translation. - Groot, Jim de (Journal of Logic & Computation, 2026)