Text this: Modal Logic and the Approximation Induction Principle