250 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1980.The logical form of an alethic modal judgement is given in part by a characterization of the semantic role of a modal qualification. Otherwise, a "formal" account of modality lacks the requisite degree of explanatory power. Explaining generally the semantic role of a modal qualification is significantly different from giving a truth theory for constructions of a standard logical grammar of truth functions and first-order quantification. For the purpose of explaining distinctive logical traits of our modal idiom, it is not enough to generalize familiar model-theoretic methods of defining a truth predicate for intensional languages. That semantic strategy abstrac...