Maehara-style modal nested calculi