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