General logic and problems used in langauges