1. Artosi, A., Benassi, P., Governatori, G., Rotolo, A.: Shakespearian modal logic: A labelled treatment of modal identity. In: Advances in Modal Logic, CSLI, vol. 1 (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 Torino, Italy (1998)
4. Blackburn, P., de 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: AAAI 2004, pp. 342–347. AAAI/MIT Press (2004)