在逻辑学中，模态逻辑是一门重要的学科，主要是对偶然、可能、必然等相关概念的探讨和研究。亚里士多德是第一个对逻辑思想中的必然性、可能性、偶然性、模态命题、必然命题与可能命题之间的关系、模态三段论等模态问题思考的哲学家。麦加拉、斯多亚学派在继承亚里士多德的思想的基础上，对模态概念做了进一步的思考和探讨，对“必然与可能”、“条件语句”提出了更加深刻的认识。中世纪的模态逻辑思想，学界一致认为主要有两部分，一部分是阿拉伯时期的模态逻辑，提出了具有时间性质的模态谓词逻辑；另一部分是经院时期的模态逻辑，提出了关于推导和模态三段论的理论。莱布尼茨是一个伟大的逻辑学家，对矛盾律和充足理由律，可能世界与现实世界，必然真理与事实真理，可能性、必然性与偶然性等有着更加深刻的认识。弗雷格把数学里面的函数概念和方法引进逻辑学和哲学，对约束变元和量词等做了定义，初步建立了第一个谓词演算公理化系统。在模态逻辑真正进入正规发展时，形成了三个比较明显的阶段：语形时期、经典时期、和现代时期。只注重语形是语形时期比较显著的特征。关系语义的研究是经典时期的显著特征，关系语义指的是有效性，可满足性，模型和框架等概念，以及将程式安排到可能世界中。现代时期主要关注：研究出了框架不完全结论和模态语言在理论计算机科学中的科学应用。在模态逻辑的发展方面，模态逻辑逐渐向广义模态逻辑推广，模态逻辑不断的细分和衍生。在模态逻辑的哲学问题上，主要是可能世界的本体论问题，同一性问题和存在在抽象实体中的问题本质主义等。最后，我们团队对模态逻辑与经典逻辑的关系做了进一步的研究，万小龙老师提出了狭义函数相对论，并对相关逻辑学问题提出了自己的初步看法。