系统。不过，模态逻辑的其他系统已经被公式化了，部分的因为S5不能很好的适合我们感兴趣的所有种类的形而上学模态。（若此则意味着可能的世界的谈论不能很好的适合这些种类的模态）。
模态逻辑的发展.尽管亚里士多德的逻辑几乎全部都关注直言三段论的理论，他的着作还包含在模态逻辑要点上的一些延伸讨论（比如他着名的在解释篇§ 9中海战悖论），并且它们与潜在性和时间有关连。遵从他的着作，经院学者为模态逻辑的严格理论开发出了根基，大多在关于本质性和偶然性的陈述的逻辑的注释的上下文中。在中世纪的作家中，