Socio-Medical and Personality Correlates of Psychological Well-Being among People Living with HIV: a Latent Profile Analysis

Applied Research in Quality of Life - The aim of this study was to examine the heterogeneity of the sample of people living with HIV (PLWH) in terms of psychological well-being (PWB) using the...     

Literacy acquisition in multilingual educational contexts: Evidence from Coastal Kenya

Literacy is a powerful tool against poverty, leading to further education and vocational success. In sub‐Saharan Africa, schoolchildren commonly learn in two languages—African and European. Multiple early literacy skills (including phonological awareness and receptive language) support literacy acquisition, but this has yet to be empirically tested in sub‐Saharan Africa, where learning contexts are highly multilingual, and children are often learning to read in a language they do not speak at home. We use longitudinal data from 1,100 schoolchildren spanning three groups of native languages [Mijikenda languages (Digo, Duruma, Chonyi, and Giriama), Kiswahili, Kikamba] in coastal Kenya (language of instruction: Kiswahili and English). We find that baseline phonological awareness and receptive language are differentially important in predicting literacy skills in English and in Kiswahili, and these relations are moderated by the degree of shared cross‐linguistic features between home and school languages. Importantly, the relative importance of these factors changes over development. Implications for language development and literacy acquisition in linguistically diverse contexts are discussed.     

Teachers’ social support,somatic complaints and academic motivation in children and early adolescents

The study aim was to find out what is pupils perception of teachers' support and to check if different types of perceived support are connected with the level of somatic symptoms reported by students at school. Additionally the study searched for possible links between students' evaluation of teachers ‘as instructors, guides and caregivers’ and their motivation to attend the class and to study the subject. The results show that students perceived informative teachers' support as the most available. Prevalent somatic symptoms reported by students were those connected with tiredness, distraction, low energy and pain. Teachers' evaluation was positively linked to academic motivation. High level of perceived (1) emotional, (2) informational teachers support and a (3) high ‘mark’ prescribed by student to the teacher via teachers' evaluation were negatively related to somatic symptoms. Due to students composition i.e. children originating from different economic backgrounds, the support perception from this perspective was also analysed. The study results indicate that teachers' support perception by children living in harsh economic conditions depended on the division in which they attend the school.     

Local Change

An agent can usually hold a very large number of beliefs. However, only a small part of these beliefs is used at a time. Efficient operations for belief change should affect the beliefs of the agent locally, that is, the changes should be performed only in the relevant part of the belief state. In this paper we define a local consequence operator that only considers the relevant part of a belief base. This operator is used to define local versions of the operations for belief change. Representation theorems are given for the local operators.     

A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5

The aim of this paper is to present a loop-free decision procedure for modal propositional logics K4, S4 and S5. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions IEL.     

On the Complexity of Nonassociative Lambek Calculus with Unit

Nonassociative Lambek Calculus (NL) is a syntactic calculus of types introduced by Lambek [8]. The polynomial time decidability of NL was established by de Groote and Lamarche [4]. Buszkowski [3] showed that systems of NL with finitely many assumptions are decidable in polynomial time and generate context-free languages; actually the P-TIME complexity is established for the consequence relation of NL. Adapting the method of Buszkowski [3] we prove an analogous result for Nonassociative Lambek Calculus with unit (NL1). Moreover, we show that any Lambek grammar based on NL1 (with assumptions) can be transformed into an equivalent context-free grammar in polynomial time.