The processes of inference
Conditionals: A theory of meaning, pragmatics, and inference.