1. Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Universitá degli Studi di Torino, Italy (1998)
2. Catach, L.: Normal multimodal logics. In: Smith, T.M., Mitchell, G.R. (eds.) Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988), St. Paul, MN, pp. 491–495. Morgan Kaufmann, San Francisco (1988)
3. López de Mantaras, R., Amat, J., Esteva, F., López, M., Sierra, C.: Generation of unknown environment maps by cooperative low-cost robots. In: Johnson, W.L., Hayes-Roth, B. (eds.) Proceedings of the 1st International Conference on Autonomous Agents, pp. 164–169. ACM Press, New York (1997)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
5. Goldblatt, R.: The McKinsey axiom is not canonical. Journal of Symbolic Logic 56(2), 554–562 (1991)