《模态对应理论》（逻辑之门——约翰•范本特姆经典著作 卷III），〔荷〕约翰•范本特姆/著，张清宇、刘新文/译，科学出版社，2010年7月

内容简介：
在 1970 年代，范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的双仿概念，表明模态语言是由对双仿不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。

“逻辑之门”是一系列的翻译项目，由荷兰阿姆斯特丹大学资助，主要翻译荷兰逻辑学家约翰·范本特姆的一些经典的论文和影响重大的专著，由刘奋荣主编，计划出版四卷共计约200万字，以“逻辑之门——约翰·范本特姆经典著作选”为题由科学出版社陆续出版。今年已出版第一卷《逻辑、信息和互动》[2008 年6月]。第一卷交付出版前夕，翻译小组成员由北京市逻辑学会资助于2007年8月1日在人民大学举办了一次小型的、作者和译者之间的学术会议，获得了成功，著译者的一些讨论也整理成文以“逻辑之门：作者和译者的对话——范本特姆访谈录”为题发表在《哲学动态》杂志2008年第一期上。