A prominent existential concept is that elderly parents should naturally become severely ill or die before a younger person does. If the reverse should happen, it may influence the parent's existential view of life. The aim of this study was to investigate the existential issues during illness time. This was a qualitative study with in-depth interviews and was conducted in a University Hospital...

Existential threat lies at the heart of intergroup conflict, but the literature on existential concerns lacks clear conceptualization and integration. To address this problem, we offer a new conceptualization and measurement of existential threat. We establish the reliability and validity of our measure, and to illustrate its utility, we examine whether different existential threats underlie th...

Existential positive queries are logical sentences built from conjunction, disjunction, and existential quantification, and are also known as select-project-join-union queries in database theory, where they are recognized as a basic and fundamental class of queries. It is known that the number of variables needed to express an existential positive query is the crucial parameter determining the ...

Query answering under existential rules — implications with existential quantifiers in the head — is known to be decidable when imposing restrictions on the rule bodies such as frontier-guardedness [BLM10, BLMS11]. Query answering is also decidable for description logics [Baa03], which further allow disjunction and functionality constraints (assert that certain relations are functions); however...

This paper proposes a new semantics that characterizes the time and/or situation dependencies of properties, together with the ontological notion of existential rigidity. For this purpose, we present order-sorted tempo-situational logic (OSTSL) with rigid/anti-rigid sorts and an existential predicate. In this logic, rigid/anti-rigid sorted terms enable the expressions for sortal properties, and...

An existential theorem, for the specification or implementation of hardware, states that for any inputs there must exist at least one output which is consistent with it. It is proved to prevent an inconsistent model being produced and it is required to formally import the verification result from one verification system to another system. In this paper, we investigate the verification of the ex...

A structure M is pregeometric if the algebraic closure is a pregeometry in all M ′ elementarily equivalent to M . We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding a field, while not pregeometric in general, do have an unique exi...

One source of complexity in the μ-calculus is its ability to specify an unbounded number of switches between universal (AX) and existential (EX) branching modes. We therefore study the problems of satisfiability, validity, model checking, and implication for the universal and existential fragments of the μ-calculus, in which only one branching mode is allowed. The universal fragment is rich eno...

Humans live out their lives knowing that their own death is inevitable; that their most cherished beliefs and values, and even their own identities, are uncertain; that they face a bewildering array of choices; and that their private subjective experiences can never be shared with another human being. This knowledge creates five major existential concerns: death, isolation, identity, freedom, a...