包含内容 《模态逻辑教程》勘误,以 2021 年 3 月科学出版社第 1 版为底本。 《模态逻辑教程》部分习题解答。 使用说明 由于 github 无法自动预览 LaTeX 公式,读者可下载 md 文件后在支持 Markdown 预览的编辑器(例如 Mark Text 或 Typora)中查看内容。