The logic of necessity