Computational Logic

Computational Logic

1st Edition - November 1, 2014

Write a review

  • Editors: Dov M. Gabbay, Jörg Siekmann, John Woods
  • eBook ISBN: 9780080930671
  • Hardcover ISBN: 9780444516244

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated. Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: “Calculemus”. The Dartmouth Conference in 1956 – generally considered as the birthplace of artificial intelligence – raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.

Key Features

  • Chapters by leading authorities in the field
  • Provides a forum where philosophers and scientists interact
  • Comprehensive reference source on the history of logic


Researchers, and graduate and senior undergraduate students in logic AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas

Table of Contents

    1. Computational Logic, Jörg Siekmann
    2. Logic and the Development of the Computer, Martin Davis
    3. What is a Logical System? An Evolutionary View: 1964-2014, Dov Gabbay
    4. Interactive Theorem Proving, John R. Harrison, Josef Urban, Frederik Wiedijk
    5. Automation of Higher Order Logic, Christoph Benzmüller, Dale Miller
    6. Equational Logics and Rewriting, Claude Kirchner, Helene Kirchner
    7. Possibilistic Logic  An Overview, Didier Dubois, Henri Prade
    8. Computerizing Mathematical Text, Fairouz Kamareddine, Joe Wells, Christoph Zengler and Henk Barendregt
    9. Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, Jos Baeten, Davide Sangiorgi
    10. Logical Synthesis of Reactive Systems - from Church's Problem to Modern Applications, Bernd Finkbeiner
    11. Degrees of Unsolvability, Klaus Ambos-Spies, Peter A. Fejer
    12. Computational Complexity, Lance Fortnow, Steven Homer
    13. Logic Programming, Bob Kowalski
    14. Logic and Databases, Jack Minker, Dietmar Seipel, Carlo Zaniolo
    15. Logics for Intelligent Agents and Multi Agent Systems, John-Jules Meyer
    16. Description Logics, Matthias Knorr, Pascal Hitzler
    17. Logics for the Semantic Web, Pascal Hitzler, Jens Lehmann, Axel Polleres

Product details

  • No. of pages: 736
  • Language: English
  • Copyright: © North Holland 2014
  • Published: November 1, 2014
  • Imprint: North Holland
  • eBook ISBN: 9780080930671
  • Hardcover ISBN: 9780444516244

About the Editors

Dov M. Gabbay

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Affiliations and Expertise

Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.

Jörg Siekmann

Affiliations and Expertise

University of Saarland, Germany

John Woods

Affiliations and Expertise

University of British Columbia, Vancouver, Canada

Ratings and Reviews

Write a review

There are currently no reviews for "Computational Logic"