现代模态逻辑是在数理逻辑的推动下产生和发展起来的。其创始人是美国逻辑学家刘易斯(C.I.Lewis)。为了消除“实质蕴涵怪论”,刘易斯提出了____蕴涵的概念。