广义模态逻辑及其应用

广义模态逻辑是逻辑学里一个新的分支，也是一个比较前沿学科，在国外有较多的研究，并在计算机和语言学等领域得到了比较广泛的应用。本书属国家社科基金“广义模态逻辑与新型计算语言研究”项目，是由逻辑学、计算机科学和语言学方面的专家、学者共同完成，本书研究的内容在国内是比较前沿。