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]

@inproceedings{Balbiani09,
  title = {Axiomatization and Completeness of Lexicographic Products of Modal Logics},
  author = {Philippe Balbiani},
  year = {2009},
  doi = {10.1007/978-3-642-04222-5_10},
  url = {http://dx.doi.org/10.1007/978-3-642-04222-5_10},
  tags = {completeness, modal logic, logic},
  researchr = {https://researchr.org/publication/Balbiani09},
  cites = {0},
  citedby = {0},
  pages = {165-180},
  booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings},
  editor = {Silvio Ghilardi and Roberto Sebastiani},
  volume = {5749},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04221-8},
}