Ononot — In modal logic, the axiom schema \Box A \implies \diamond A

Logichard

0:00.0

In modal logic, the axiom schema $\Box A \implies \diamond A$ (where $\diamond A \equiv \neg \Box \neg A$ ) is associated with which property of the accessibility relation $R$ in Kripke semantics?