Review of Additional S5 Propositional Rules