icon

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