Norbert Gratzl. Sequent Calculi for Multi-modal Logic with Interaction. In Davide Grossi, Olivier Roy, Huaxin Huang, editors, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Volume 8196 of Lecture Notes in Computer Science, pages 124-134, Springer, 2013. [doi]
Abstract is missing.