Title Interpolation and definability : modal and intuitionistic logic / D.M. Gabbay, L. Maksimova

Published Oxford : Oxford University Press, 2005

Click on the following:
Oxford Scholarship Online

Copies

Description 1 online resource (xiv, 508 pages) : illustrations Series Oxford logic guides ; 46 Oxford logic guides ; 46. Summary 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 Bibliography Includes bibliographical references and index Notes Print version record Subject Modality (Logic) Interpolation. Definability theory (Mathematical logic) Definability theory (Mathematical logic) Interpolation Modality (Logic) Form Electronic book Author Maksimova, L. L. (Larisa Lʹvovna) ISBN 9780191705779 0191705772 9780191545351 019154535X 9780198511748 0198511744

  Permalink