This book will work as a core text on non-classical logic courses. Clearly targeted at students with no previous exposure to the subject matter and has an accessible and user-friendly approach.
Extensively classroom-tested, this text provides an accessible and carefully structured introduction to modal and many-valued logic. The authors cover the basic formal frameworks, as well as considering a variety of philosophical issues surrounding 'possibilities and paradox'. In order to aid understanding, each chapter provides the following features: exercises to give students hands-on experience, examples to demonstrate the application of concepts and a list of further readings.
PART 1 ; PART 2 ; PART 3 ; PART 4 ; BIBLIOGRAPHY ; INDEX