Interpolation and definability : modal and intuitionistic logic /
Gabbay, Dov M.,1945-
Maksimova, L. L.(Larisa Lʹvovna)
Oxford : Clarendon Press,
2005-
Includes bibliographical references and index.
Modality (Logic)
Interpolation.
Definability theory (Mathematical logic)