Interpolation and definability in modal logics : modal and intuitionistic logic /

Bibliographic Details

Main Author:	Gabbay, Dov M., 1945-
Other Authors:	Maksimova, L. L. (Larisa Lʹvovna)
Format:	Book
Language:	English
Published:	Oxford ; New York : Oxford University Press, 2005.
Series:	Oxford science publications. Oxford logic guides ; 46.
Subjects:	Modality (Logic) Interpolation. Definability theory (Mathematical logic)