Interpolation and definability : modal and intuitionistic logics /
Gabbay, Dov M., 1945-
Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L.Maksimova. - Oxford ; New York : Clarendon Press, 2005. - xiv, 508 p. ; 24 cm. - Oxford logic guides ; 46 .
Includes bibliographical references and index.
0198511744 (hbk.)
Interpolation.
Modality (Logic)
Definability theory (Mathematical logic)
511.3 / G112
Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L.Maksimova. - Oxford ; New York : Clarendon Press, 2005. - xiv, 508 p. ; 24 cm. - Oxford logic guides ; 46 .
Includes bibliographical references and index.
0198511744 (hbk.)
Interpolation.
Modality (Logic)
Definability theory (Mathematical logic)
511.3 / G112