RT DF A1 Ding, Yifeng. T1 Propositional Quantification and Comparison in Modal Logic