Text this: Modal meet-implication logic