A logical theory for strong and weak ontic necessities in branching time. (arXiv:2208.11922v1 [cs.CL])

Ontic necessities are those modalities universally quantifying over domains
of ontic possibilities, whose ``existence'' is independent of our knowledge. An
ontic necessity, called the weak ontic necessity, causes interesting questions.
An example for it is ``I should be dead by now''. A feature of this necessity
is whether it holds at a state has nothing to do with whether its prejacent
holds at the state. Is there a weak epistemic necessity expressed by
``should''? Is there a strong ontic necessity …

arxiv theory time