  Modal logic, therefore, is intensional: in general, the truth  value of a sentence is determined by something over and above its  form and the extensions of its components. Absent a rigorous semantic theory to identify the source of its intensionality and to  systematize intuitions about modal truth, validity, and logical  consequence, there was little hope for the widespread acceptance of  modal logic. 