Home » We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1 by S. Artemov
We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1 S. Artemov

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

S. Artemov

Published October 1st 2006
ISBN : 9781904987253
Hardcover
804 pages
Enter the sum

 About the Book 

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 hasMoreThis 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.