On Herbrand-like Theorems for Cut-free Modal Sequent Logics | IEEE Conference Publication | IEEE Xplore