Interpolation and Definability —— Modal and Intuitionistic Logics

----- 模态逻辑的插值与可定义性：模态与直觉主义逻辑

ISBN: 9780198511748 出版年：2007 页码：524 Gabbay, Dov M Maksimova, Larisa Clarendon Press

This monograph is on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.