的发展.尽管亚里士多德的逻辑几乎全部都关注直言三段论的理论，他的着作还包含在模态逻辑要点上的一些延伸讨论（比如他着名的在解释篇§ 9中海战悖论），并且它们与潜在性和时间有关连。遵从他的着作，经院学者为模态逻辑的严格理论开发出了根基，大多在关于本质性和偶然性的陈述的逻辑的注释的上下文中。在中世纪的作家中，在William of Ockham和John Duns Scotus的着作中找到了关于模态逻辑的一些最重要的工作。形式模态逻辑的缔造者是C. I. Lewis，他在专着《A Survey of Sym