This volume treats modal logic as a theory made up of several subtheories, such as completeness and correspondence. It is intended as a course for students who ... » 

This volume treats modal logic as a theory made up of several subtheories, such as completeness and correspondence. It is intended as a course for students who wish to study modal logic in detail. Although some experience in mathematics is assumed, readers require very little specialist knowledge. «