1. Artosi, A., Benassi, P., Governatori, G., Rotolo, A.: Shakespearian modal logic: A labelled treatment of modal identity. In: Advances in Modal Logic, vol. 1, CSLI (1998)
2. Artosi, A., Governatori, G., Rotolo, A.: Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation 12(6), 1027–1060 (2002)
3. Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Universita degli Studi di, Italy (1998)
4. Blackburn, P., Rijke, M.: Zooming in, zooming out. Journal of Logic, Language and Information (1996)
5. d’ Avila Garcez, A.S., Gabbay, D.M.: Fibring neural networks. In: American National Conference on Artificial Intelligence (AAAI 2004), pp. 342–347. AAAI/MIT Press (2004)