Classical CBT has its limitation related especially to existential questions, such as meaning of life, acceptance of unchangeable aspects, meaning of values, transcendence, significance of experiences, and heading into the future. The method is a speculative review. It is a theoretical article, with discussion of concepts and possibilities for integration, rather than an analysis. The review in...

BACKGROUND Adult brain tumor (BT) patients and longer-term survivors are susceptible to experiencing emotional problems, including anxiety and/or depression disorders, which may further compromise their quality-of-life (QOL) and general well-being. The objective of this paper is to review psychological approaches for managing anxiety and depressive symptoms in adult BT patients. A review of psy...

We present a variant of the explicitly-typed secondorder polymorphic λ-calculus with primitive open existential types, i.e. a collection of more atomic constructs for introduction and elimination of existential types. We equip the language with a call-by-value small-step reduction semantics that enjoys the subject reduction property. Traditional closed existential types can be defined as syntac...

This paper proposes an analysis of a relatively under described existential construction in Tagalog. This construction at first glance appears to embed a relative clause under the existential predicate. However, it differs from this type of existential in two crucial respects. The complement of the existential verb allows extraction, demonstrating that it is not a DP. Additionally, rather asser...

Abstract interpretation is an excellent tool for designing complete dataflow analyses [6]. Existential quantification is an excellent tool for designing precise dataflow analyses. However, these two tools are difficult to combine. Abstract interpretation requires algorithms for deciding subtypes and constructing joins. This is problematic for existential quantification because simply subtyping ...