刘新文研究员等的专著《可能世界的名字》,2017年3月由中国社会科学出版社出版，字数为17.9万，入选国家社会科学基金成果文库。

该书是中国社会科学院2012年重点课题“可能世界的名字”和2012年度国家社科基金一般项目“可能世界的名字”结项成果，结项等级为“优”，2016年收入“国家哲学社会科学成果文库”。

本书研究哲学逻辑基础理论中模态逻辑的主流新分支“混合逻辑”和“核证逻辑”，把这两个分支组合成一个系统就得到了“混合的核证逻辑”这一新的哲学逻辑分支。本书的主要贡献是建立起“极小的混合核证逻辑系统”，从而解决了世界著名逻辑学家梅尔文·费汀（Melvin Fitting）在2010年提出的这个问题。本书部分内容发表在《哲学研究》和Springer出版的《Modality, Semantics and Interpretation》。逻辑室长期以来的学术方向就是哲学逻辑和逻辑哲学。