作者：
出版社：
简介：本书共分为十六章，其主要内容包括：模态和模态命题形式；模态逻辑系统；可能世界语义学基本理论；模态语义图；时态逻辑；道义逻辑；认知逻辑；多主体认知逻辑系统；多主体完全的认知逻辑等。
简介：本书的主要内容包括：命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统等。
简介：本书通过对“指令”概念的细致辨析，阐明了法律规范的基本性质，在道义逻辑和法律理论两个方面，都取得了具有典范意义的成果。
简介：本书共分为七章，主要内容包括：直觉主义与否定概述、直觉主义否定、直觉主义否定的强化与弱化、直觉主义否定的动态化等。
简介：本书介绍了非良基集的基本理论，以非良基集为语义结构对模态逻辑进行解释，重点研究了模态逻辑在集论语义下的可定义性理论。
