Before revision: Expressed in doxastic logic, the above syllogism is: Premise 1: Premise 2: Conclusion: The above reasoning is inconsistent (not truth-preserving).
After revision: Expressed in doxastic logic, the above syllogism is: Premise 1: Premise 2: Conclusion: The above reasoning is invalid (not truth-preserving).