Agata Ciabattoni, Francesco A. Genco. Embedding formalisms: hypersequents and two-level systems of rule. In Lev D. Beklemishev, Stéphane Demri, András Maté, editors, Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016. pages 197-216, College Publications, 2016. [doi]
Abstract is missing.