Axiomatization and completeness of lexicographic products of modal logics
Résumé
This paper sets out a new way of combining Kripke-complete modal logics: lexicographic product. It discusses some basic properties of the lexicographic product construction and proves axiomatization/completeness results.