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