Modal Inference

Involves reasoning about necessity, possibility, or impossibility of a proposition.