1. Balbiani, P.: Time representation and temporal reasoning from the perspective of non-standard analysis. In: Brewka, G., Lang, J. (eds.) Eleventh International Conference on Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence, pp. 695–704 (2008)
2. Balbiani, P.: Axiomatization and completeness of lexicographic products of modal logics (long version). Research Report IRIT/RR–2009-20–FR+ of the Institut de recherche en informatique de Toulouse (2009)
3. Balbiani, P.: Lexicographic products of modal logics with linear frames (to appear)
4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
5. Van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)