Development in computer science radically changed some expectancy of what modal logic could use for and how they were to be applied.

• 在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及模态逻辑如何付诸运用的期待。