The aim of this project is to elaborate a formal approach to problem solving. We shall elaborate a formally characterized kind of sequences of problems (in the narrow sense of sets of questions) and declarative statements. The construction of the sequence will be governed by a procedure which depends on the logical context of the problem. The resulting format, which somewhat resembles that of proofs, will then be extended by means to introduce 'new premises'.