Propositional Quantification And Comparison In Modal Logic