The Many Worlds of Logic