内容简介
本书的主要内容包括：命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统等。
下载声明
本博客所有资源收集于网络，本资料版权归原作者及版权商所有，如果你喜欢，请购买正版！仅限个人试读学习之用，不得用于商业用途，请在下载后24小时内删除！
下载地址
主力下载：https://u062.com/f/31394157-498977688-27c2aa 访问密码：yerenwz
备用下载：暂无
温馨提示：由于不可控因素，链接有时效性，若失效或下载问题，请留言！