1. Balbiani, P. 2008. Time representation and temporal reasoning from the perspective of non-standard analysis. In Eleventh International Conference on Principles of Knowledge Representation and Reasoning. AAAI ed. G. Brewka, and J. Lang, 695–704.
2. Balbiani, P. 2009. Axiomatization and completeness of lexicographic products of modal logics. In Frontiers of Combining Systems, ed. S. Ghilardi, and R. Sebastiani, 165–180. Berlin: Springer.
3. Balbiani, P. 2010. Axiomatizing the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints. In Temporal Representation and Reasoning, ed. N. Markey, and J. Wijsen, 19–26. IEEE.
4. Balbiani, P., and S. Mikulás. 2013. Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. In Frontiers of Combining Systems, ed. P. Fontaine, C. Ringeissen, and R. Schmidt, 151–164. Berlin: Springer.
5. Balbiani, P., and I. Shapirovsky. 2019. Complete axiomatizations of lexicographic sums and products of modal logics. In preparation.