Modal logic and Kripke semantics in Twelf - View it on GitHub