ModalLogic

Provides a library for evaluating modal logic expressions on Kripke frames and visualizing frames.

To do

1. Unadorned satisfaction
2. i, j, k, l arrows
3. Forcing structures from formulas
4. Infinite frames