a cool presentation of modal logic (for you logicians)

http://www.cs.cmu.edu/~tom7/talks/modal-logic6.swf

without previous knowledge it's kind of difficult, but it can excite your mind.