Non-Standard Logics for Automated Reasoning - Philippe Smets - Hardcover

Although there are a few books available that give brief surveys of a variety of nonstandard logics, there is a growing need for a critical presentation providing both a greater depth and breadth of insight into these logics. This book assembles a wider and deeper view of the many potentially applicable logics. Three appendixes provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. These tutorials and the bibliography included in the appendixes provide useful reference material for the reader.Smets, Philippe is the author of 'Non-Standard Logics for Automated Reasoning - Philippe Smets - Hardcover' with ISBN 9780126495201 and ISBN 0126495203.