Countermodels from Sequent Calculi in Multi-Modal Logics | IEEE Conference Publication | IEEE Xplore