Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? | IEEE Conference Publication | IEEE Xplore