The notions of necessity and possibility, as well as the notion of a possible world, are ubiquitous in philosophy. Nevertheless, these notions remain controversial. This book develops a general framework for theorizing about these notions using the tools of higher-order logic.
