Jump to ContentJump to Main Navigation
Interpolation and Definability – Modal and Intuitionistic Logics - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay and Larisa Maksimova


This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, especially in computer science, artificial intelligence, logic programming, philosophy of science, and natural language. The book provides basic knowledge on interpolation and definability in logic, and contains a systematic account of material which has been presented in many papers. A variety of methods and results are presented beginning with the famous Beth's and Craig's theorems in classical predicate ... More

Keywords: Beth's theorem, Craig's theoem, modal algebra, Heyting algebra, amalgamation, logic programming

Bibliographic Information

Print publication date: 2005 Print ISBN-13: 9780198511748
Published to Oxford Scholarship Online: September 2007 DOI:10.1093/acprof:oso/9780198511748.001.0001


Affiliations are at time of print publication.

Dov M. Gabbay, author
Department of Computer Science, King's College London

Larisa Maksimova, author
Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk, Russia