This intractability is incompatible with the idealization that agents have complete logical knowledg...