Interpolation and definability : modal and intuitionistic logic /

This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming philosophy of science, and natural language.

Bibliographic Details

Main Author:	Gabbay, Dov M., 1945-
Other Authors:	Maksimova, L. L. (Larisa Lʹvovna)
Format:	eBook
Language:	English
Published:	Oxford : Oxford University Press, 2005.
Series:	Oxford logic guides ; 46.
Subjects:	Modality (Logic) Interpolation. Definability theory (Mathematical logic) Modalité (Logique) Théorie de la définissabilité (Logique mathématique) Interpolation Electronic books.
Online Access:	Connect to the full text of this electronic book