Modal logic is often described as the logic of necessity and possibility. It is a branch of modern logic with many applications to formal philosophy. In this book we examine one of the modal systems, ...