Countermodels from Sequent Calculi in Multi-Modal Logics.

Deepak Garg, Valerio Genovese, Sara Negri

Browse the full LICS paper archive.