本书为国家社科基金后期资助项目，项目批准号11FZX007。本书以“本质主义”和“可能世界”相关的哲学问题为中心...
2014.11
自1970年代以来，模态逻辑学与计算科学、语言学等相交互，得到了越来越多的关注，对其自身的理论研究也得到...
2014.4