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.
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
-
-
Advances in Temporal Logic
- Editors:
-
- Howard Barringer
- Michael Fisher
- Dov M. Gabbay
- Graham Gough
- Copyright: 2000
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Automated Model Building
- Authors:
-
- Ricardo Caferra
- Alexander Leitsch
- Nicolas Peltier
- Copyright: 2004
Available Renditions
- Hard cover
- Soft cover
- eBook
-
The Death of Argument
Fallacies in Agent Based Reasoning
- Authors:
-
- J.H. Woods
- Copyright: 2004
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Advances in Intensional Logic
- Editors:
-
- Maarten de Rijke
- Copyright: 1997
Available Renditions
- Hard cover
- Soft cover
- eBook
Abstracted and indexed in
-
- zbMATH