Searching for "The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic." – sorted by Relevance.