逻辑、认识论和方法论 卷4

本书是由我们翻译的世界著名逻辑学家范·本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在计算机和信息领域的应用。读者对象：逻辑专业、数学专业、计算机专业相关研究人员。