Stanford University
Stanford Encyclopedia of Philosophy: Modal Logic
Explains modal logic by means of logical notation. Somewhat difficult for a non-specialist to appreciate. However, the introductory section does provide a general definition of "modal logic."