Modal meet-implication logic