Interpolation and Definability: Modal and Intuitionistic Logics by Dov M. GabbayInterpolation and Definability: Modal and Intuitionistic Logics by Dov M. Gabbay

Interpolation and Definability: Modal and Intuitionistic Logics

byDov M. Gabbay, Larisa Maksimova

Hardcover | May 12, 2005

Pricing and Purchase Info

$287.06 online 
$390.00 list price save 26%
Earn 1,435 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This book is a specialized monograph on 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 naturallanguage.Suitable for researchers and graduate students in mathematics, computer science and philosophy, this is the latest in the prestigous world-renowned bOxford Logic Guides/b, which contains bMichael Dummet/b's iElements of intuitionism (second edition)/i, bJ. M. Dunn and G. Hardegree/b's iAlgebraicMethods in Philosophical Logic/i, bH. Rott/b's iChange, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning/i, bP. T. Johnstone/b's iSketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2/i, and bDavid J. Pym and Eike Ritter/b's iReductive Logic and Proof Search:Proof theory, semantics and control/i.
Dov M. Gabbay is at Department of Computer Science, King's College London. Larisa Maksimova is at Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk, Russia.
Title:Interpolation and Definability: Modal and Intuitionistic LogicsFormat:HardcoverDimensions:522 pages, 9.21 × 6.14 × 1.28 inPublished:May 12, 2005Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198511744

ISBN - 13:9780198511748

Look for similar items by category:


Table of Contents

1. Introduction and Discussion2. Modal and Superintuitionistic Logics: Basic Concepts3. Superintuitionistic Logics and Normal Extensions of the Modal Logics S44. The Interpolation Theorem in Intuitionistic Predicate Calculus5. Interpolation and Definability in Quantified Logics6. Craig's Theorem in Superintuitionistic Logics and Amalgamable Varieties of Pseudoboolean Algebras7. Interpolation, Definability, Amalgamation8. Interpolation in Normal Extensions of the Modal Logic S49. Complexity of Some Problems in Modal and Intuitionistic Calculi10. Interpolation in Modal Infinite Slice Logics Containing the Logic K411. An Analog of Beth's Theorem in Normal Extensions of the Modal Logic K412. Extensions of the Provability Logic13. Syntactic Proof of Interpolation for the Intuitionistic Predicate Logic14. Interpolation by Translation15. Interpolation in (Intuitionistic) Logic Programming16. Interpolation in Goal-directed Proof Systems17. Further Results and DiscussionAppendixReferencesIndex