Here's a neat interactive widget that Ross Kirsling made that lets you edit Kripke modal structures and evaluate formulae at them.
