"Interpolation and Definability: Modal and Intuitionistic Logic: Modal and Intuitionistic Logics " - читать интересную книгу автора (Dov M. Gabbay, Larisa Maksimova)