Modern Logic and Tasks for Experiments on Problem Solving Behavior