集合概念可以模拟各种各样的结构，这些结构包括数学结构和非数学结构。当今的模态逻辑是现代逻辑的一个分支...
2010.8
本书是我国学术界第一部关于集合论、余代数与模态逻辑交叉研究的著作。首先，以非良基集合为语义结构对模态...
2019.6
本书是关于模态词“必然”和“可能”的命题及推理的逻辑专著。
2003.01
逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两...
2017.10
图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻...
2017.7
本书基于逻辑视角，围绕互模拟展开系统而深入的研究。首先，梳理了互模拟在模态逻辑和非良基集合论中的发展...
2016.
模态逻辑是哲学逻辑的重要分支，自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书阐明了模态逻...
2015.2
本书为国家社科基金后期资助项目，项目批准号11FZX007。本书以“本质主义”和“可能世界”相关的哲学问题为中心...
2014.11
自1970年代以来，模态逻辑学与计算科学、语言学等相交互，得到了越来越多的关注，对其自身的理论研究也得到...
2014.4
本著作是国家社科基地西南大学逻辑与智能研究中心教育部重大课题攻关项目“现代归纳逻辑的创新功能与应用以...
2012.6