Labor unions are a controversial and relatively little understood species of organization. While empirical research on the effects of unions on various labor market outcomes proliferated in the 1970s and 80s, theoretical understanding of the behavior of unions remains at its early stages. My dissertation aims to advance such understanding. The first chapter delves into the rationale behind strikes, the ultimate source of a union's bargaining power and therefore the basis of its entire existence. The very occurrence of strikes has been challenging for standard economic theory to explain: given their manifest inefficiency, a mutually beneficial bargain should always be available such that strikes only serve as a weapon of non-use. Existing mo...