Wiktionary
strict implication
n. (context logic English) A material implication that is acted upon by the necessity operator from modal logic.