OBJECTIVE To review the evidence on the efficacy of different types of existential therapies: a family of psychological interventions that draw on themes from existential philosophy to help clients address such issues in their lives as meaning and death anxiety. METHOD Relevant electronic databases, journals, and reference lists were searched for eligible studies. Effects on meaning, psychopa...

Abstract The present study investigates the grammatical origin of postverbal negator ḇu in Rif Berber (Afroasiatic, Berber; North, Northeast, and Northwest Morocco) Moroccan Arabic Oujda Semitic; Northeast Morocco), only languages which it is commonly attested up till now. Based on new data obtained from recent fieldwork Morocco, will demonstrate that this most probably has been construed out a...

We propose an ownership types system with existential quantification of owners, similar to the existential quantification of types in models of Java wildcards. This produces a system with variant ownership types. Using explicit existential types for variance is more expressive, less ad hoc, and easier to understand and reason about than previous solutions. Furthermore, we propose using both typ...

We investigate a SAT-based bounded model checking (BMC) method for EMTLK (the existential fragment of the metric temporal logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a linear temporal logic (called HLTLK), and we provi...

BACKGROUND Nursing home and home care nursing staff must increasingly deal with palliative care challenges, due to cost cutting in specialized health care. Research indicates that a significant number of dying patients long for adequate spiritual and existential care. Several studies show that this is often a source of anxiety for care workers. Teaching care workers to alleviate dying patients'...