In my new paper, I take stock of cross-linguistically common functions and expressions of counterfactuality.
It also includes a discussion about whether expressions such as should encode counterfactuality or some kind of “weak” necessity.
You can download it here, or contact me.