1. Baldoni, M.: Normal Multimodal Logics: Automated Deduction and Logic Programming. PhD thesis, Universitá degli Studi di Torino (1998)
2. Lecture Notes in Artificial Intelligence;B. Beckert,1998
3. van Benthem, J.: Modal logic and classical logic. Bibliopolis (1985)
4. van Benthem, J.: Modal logic in two Gestalts. Technical report, ILLC (1998)
5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic (2000) (to appear)