Presents a comprehensive, non-model-theoretic theory of ontic necessity and possibility within a formal (and formalized) ontology consisting of states of affairs, properties, and individuals. This title includes discussions of positions in the philosophy of modality.