  While Stalnaker (1968) and D. Lewis (1973b) remain the most popular similarity analyses, there are substantial logical issues which separate similarity analyses. These issues, and the constraints underlying them, are detailed in the supplement Formal Constraints on Similarity. Table 4 summarizes which validities go with which constraints.