The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
scientific article; zbMATH DE number 1863784
scientific article