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

自1970年代以来，模态逻辑学与计算科学、语言学等相交互，得到了越来越多的关注，对其自身的理论研究也得到了充分的发展，形成了以完全理论、对偶理论及对应理论为主要模块的研究领域。典范问题源于完全性理论，与对偶理论、对应理论及有穷模型性等研究方向皆有密切关联，在典范问题研究中也发掘出了许多自然且深刻的概念与方法。《模态逻辑中的典范问题研究》分别从典范框架、微观层面上的公式、宏观层面上的逻辑以及典范逻辑的可典范公理化、有穷框架性及可典范公理化的逻辑类等角度系统探讨了模态逻辑的典范性。本书适合现代逻辑及相关专业的研究人员和高校师生参考阅读。