Ontic Necessity

Ontic necessity explores the concept of what *must* be true independent of our knowledge or beliefs, contrasting with epistemic necessity (what we know to be true). Current research focuses on formally modeling different strengths of ontic necessity, distinguishing between "strong" (unbreakable truths) and "weak" (expected or default truths), often within branching time frameworks. These formalizations, employing logical systems and context-update mechanisms, aim to clarify the nuances of these modalities and their application in reasoning about possibilities and obligations. This work contributes to a deeper understanding of modal logic and has potential implications for fields like artificial intelligence and decision theory, where reasoning about default expectations and unavoidable outcomes is crucial.