Functional Dependencies between Variables

We consider a predicate logic L_fd where not all assignments of values to individual variables are possible. Some variables are functionally dependent on other variables. This makes sense if the models of logic are assumed to correspond to databases or states. We show that L_fd is undecidable but has a complete and sound sequent calculus formalisation.     

Understanding and supporting the career implications of international assignments

International assignments represent an important form of migration in the global economy. In contrast to most other migrants, international assignees enjoy a relatively privileged position in the labor market. Authored by a diverse team of academics and practitioners, this paper draws on insights from empirical research and unpublished examples from practice to explore how international assignees can be supported before, during and after the international assignment. We move beyond the traditional expatriate cycle as a frame of reference, arguing that many of the challenges from the individual perspective are continuous, often pertinent well before and well after the assignment. We call for a reframing of career support for international assignees to reflect the reality of the experience. We propose that future studies of the impact of international assignments on career use more sophisticated methods including longitudinal studies of career trajectories and experiences of support practices. (138)