From Modal Sequent Calculi to Modal Resolution. - Dirk Pattinson; Cláudia Nalon; Sourabh Peruri (CADE, 2025)