李娜，南开大学哲学院教授、博士生导师。编著有：《实验逻辑学》《公理化集合论》和《模态逻辑》等教材。兼任《中国社会科学》杂志外审专家、《逻辑学研究》杂志编委。讲授的《实验逻辑学》课程，2020年被教育部认定为重量“线下一流”课程，独自编写的教材《实验逻辑学》2021年被天津市教委认定为天津市高校课程思政优秀教材，主持的教学研究项目获得天津市教学成果2等奖1项（排名第1）。2018年获天津市有突出贡献专家称号，2021年获宝钢优秀教师奖称号。

模态逻辑是非经典逻辑中发展最成熟、成果最丰富的一个分支。《模态逻辑（第二版）》是在2015年由南开大学出版社出版的《模态逻辑》的基础上修订完成的。本教材在单模态语言的基础上，引入和使用了多模态语言，介绍了一些模态逻辑中目前比较新的、流行的概念和方法，如：加标转移结构、互模拟等，有助于学生了解模态逻辑发展的前沿、学习模态逻辑的近期新知识、掌握模态逻辑近期新的概念和方法。本书适合逻辑学专业教师和学生阅读参考