On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators | Read Paper on Bytez