Axiomatization and Completeness of Lexicographic Products of Modal Logics

Philippe Balbiani. Axiomatization and Completeness of Lexicographic Products of Modal Logics. In Silvio Ghilardi, Roberto Sebastiani, editors, Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Volume 5749 of Lecture Notes in Computer Science, pages 165-180, Springer, 2009. [doi]

Abstract

Abstract is missing.