O autor investiga algumas propostas de elucidação dos condicionais contrafactuais, por meio das teorias de revisão de crenças. O trabalho analisa pormenores da abordagem que ficou conhecida como “a lógica oficial dos contrafactuais”, sugerida por Lewis. Analisa, também, a abordagem nascida no âmbito do modelo AGM. E, por fim, discute o sistema de revisão de crenças bastante completo, desenvolvido no decorrer de investigações em inteligência artificial, denominado Sistema de Manutenção das Razões.