Presents a non-model-theoretic theory of ontic necessity and possibility within a formal (and formalised) ontology consisting of states of affairs, properties, and individuals. This book includes themes such as: possibilism vs actualism; the theory of essences; conceivability and possibility; and, the nature of possible worlds.