From Modal Sequent Calculi to Modal Resolution.

Dirk Pattinson, Cludia Nalon, Sourabh Peruri

Browse the full CADE paper archive.