生活查询

模态逻辑

【书名】 模态逻辑
【作者】 李娜编
【出版社】 天津南开大学出版社
【出版时间】 2015.02
【关键词】 模态逻辑教材
【摘要描述】 本书的主要内容包括命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统等。
【中国图书分类号】 B815.1

在线工具导航