Text this: The solvability of the decision problem for classes of proper formulas and related results /