Documentation

Foundation.Modal.Kripke.GL.GL