Modal logics with a linear hierarchy of local propositional quantifiers (2002)

by K Engelhardt, R van der Meyden, K Su
Venue:Advances in Modal Logic