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'...

OBJECTIVE To explore existential meaning-making in an ethnic-majority subgroup with mental ill health and to increase knowledge about the importance of gaining access to such information in mental healthcare. DESIGN Qualitative study using in-depth interviews and systematic text condensation analysis. PARTICIPANTS 17 devote Christians with an ethnic-Swedish background, 12 women and 5 men, 3...