Lewis är i dag känd framför allt för de axiomatiska system för strikt implikation som han formulerade och som utgör utgångspunkten för modern modallogik. Han författade även flera arbeten i kunskapsteori och moralfilosofi.