Approximations of Modal Logic K