Decision-making process in Portuguese Erasmus student mobility: case study

With the evolution of nowadays knowledge-based economies, the labour class becomes more competitive. As a way of getting skills that bring benefits to their careers, university students take advantage of the many opportunities available and go abroad to study. This study develops and empirically tests a structural model that examines the antecedents that influence the decision-making process of an Erasmus student under mobility for studies (EMS) in Aveiro, Coimbra and Porto (2014-2015). Reliability analysis, exploratory factor analysis and linear regressions were used to evaluate the model. Based on a survey with a sample of 872 valid responses, this study has demonstrated that EMS students are also influenced by touristic factors, which gives support to what has recently been approached by other authors. Conclusions and suggestions can be applied by other organizations, mainly Higher Education Institutions in order to attract more EMS students.

Proof theory for hybrid(ised) logics

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a speci cation methodology for recon gurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.