About this book series

Logic is applied in an increasingly wide variety of disciplines, from the traditional subjects of philosophy and mathematics to the more recent disciplines of cognitive science, computer science, artificial intelligence, and linguistics, leading to new vigor in this ancient subject.

Springer, through its Applied Logic Series, seeks to provide a home for outstanding books and research monographs in applied logic, and in doing so demonstrates the underlying unity and applicability of logic.
Print ISSN
1386-2790

Book titles in this series

  1. Frontiers of Combining Systems

    First International Workshop, Munich, March 1996

    Editors:
    • F. Baader
    • K.U. Schulz
    • Copyright: 1996

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  2. Advances in Temporal Logic

    Editors:
    • Howard Barringer
    • Michael Fisher
    • Dov M. Gabbay
    • Graham Gough
    • Copyright: 2000

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  3. Automated Model Building

    Authors:
    • Ricardo Caferra
    • Alexander Leitsch
    • Nicolas Peltier
    • Copyright: 2004

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  4. The Death of Argument

    Fallacies in Agent Based Reasoning

    Authors:
    • J.H. Woods
    • Copyright: 2004

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Abstracted and indexed in

  1. zbMATH