Before revision: For instance, most epistemic logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge .
After revision: modalFor instance, most epistemic logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge .