Publisher's Synopsis
This book provides an invaluable overview of the reach of logic. It provides reference to some of hte most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the area of modal logic, intuitionistic logic, logic and language, nonmonotonic logic, and logic programming, temporal logic, logic and learning, combination of logics, practical reasoning, logic and artificial intelligence, abduction, theorem proving and goal directed reasoning. It will be invaluable reading for researchers and graduate students in logic and computer science and a fabulous source of inspiration for research students in search of a topic for a PhD in logic or theoretical computer science.
