Dualities in modal logic