Intuitionistic Modal Algebras - Celani, S.A.; Rivieccio, U. (Studia Logica, 2024)