Search

Team logic is a new logic, introduced by Vaananen [12], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the level of sentences dependence logic and team logic are equivalent with existential second-order logic and full second-order logic, respectively. In this article we show that, in a sense that we make explicit, team logic and second-order logic are also equivalent with respect to open formulas. A similar earlier result relating open formulas of dependence logic to the negative fragment of existential second-order logic was proved in [8].

The present article approaches the trends of HRD in the Finnish pulp and paper industry. The recent two decades have introduced several major changes into this field of industry. Technical breakthroughs have led to drastic changes in the competence requirements of the personnel. On the other hand, the boom of mergers and acquisitions in this industry segment has cut down the humber of corporations with world wide operations. Globalization challenges the European labor market, social policy, vocational education as well as HRD practices to develop high value jobs and competencies essential for survival in the labor cost competition.

Team logic is a new logic, introduced by Vaananen [1], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the level of sentences dependence logic and team logic are equivalent with existential second-order logic and full second-order logic, respectively. In this article we show that, in a sense that we make explicit, team logic and second-order logic are also equivalent with respect to open formulas. A similar earlier result relating open formulas of dependence logic to the negative fragment of existential second-order logic was proved in [2].