Kai Engelhardt Ron van der Meyden Kaile Su Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. 9-30 2002 conf/aiml/2002 Advances in Modal Logic db/conf/aiml/aiml2002.html#EngelhardtMS02