模态逻辑中的典范问题研究

【书名】 模态逻辑中的典范问题研究
【作者】 裘江杰
【出版社】 北京中国社会科学出版社
【出版时间】 2014.06
【关键词】 模态逻辑研究
【摘要描述】 自年代以来,模态逻辑学与计算科学、语言学等相交互,得到了越来越多的关注,对其自身的理论研究也得到了充分的发展,形成了以完全理论、对偶理论及对应理论为主要模块的研究领域。
典范问题源于完全性理论,与对偶理论、对应理论及有穷模型性等研究方向皆有密切关联,在典范问题研究中也发掘出了许多自然且深刻的概念与方法。
模态逻辑中的典范问题研究分别从典范框架、微观层面上的公式、宏观层面上的逻辑以及典范逻辑的可典范公理化、有穷框架性及可典范公理化的逻辑类等角度系统探讨了模态逻辑的典范性。
【中国图书分类号】 B815.1

在线工具导航