Axiomatizing the lexicographic products of modal logics with linear temporal logic

Philippe Balbiani, David Fernández Duque. Axiomatizing the lexicographic products of modal logics with linear temporal logic. 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 78-96, College Publications, 2016. [doi]

Abstract

Abstract is missing.