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.