  First we discuss some background intuitions, then introduce a formal semantics. Intensions will be introduced formally in Section 3.3. The material discussed here can be found more fully developed in (Fitting and Mendelsohn 1998, Hughes and Cresswell 1996), among other places.