Before revision: For instance, the formula is used in both epistemic and deontic modal logicto state that the belief/obligation is necessarily true, as it has been a useful shorthand for considering in epistemic modal logic, the formula can be used to represent the statement that is known.
After revision: For instance, in epistemic modal logic, the formula can be used to represent the statement that is known.