《南开哲学教材系列:模态逻辑》介绍以经典的命题逻辑为基础的模态命题逻辑。《南开哲学教材系列:模态逻辑》具有三个重要特征:简明扼要;在单模态语言的基础上,引入和使用多模态语言;介绍了一些模态逻辑中目前比较流行的概念和方法,如:加标转移结构、互模拟等。…
本书共分为五编,除“序曲”和“尾声”两编外,还有“沙漠游记”、“丛林游记”和“极低游记”三编主干内容。…