The tree width of an alternating finite automaton (AFA) measures the parallelism in all computations AFA on a given input. maximal existential (respectively, universal) A string w number choices parallel universal branches) one computation w. We give polynomial time algorithms deciding finiteness AFA’s and width. Also we algorithm that for with decides whether or not is finite. Finiteness decid...

realism and a true understanding of every issue is the prerequisite for success in thinking about that issue, and in investigating its consequences and boons. human existential position can be investigated from different aspects: from the viewpoint of his need, dependence, and existential poverty, that would be the source of scientific, practical, and ethical consequence. in this article, after...

Speakers routinely provide cues in their utterances about their intended meaning that a listener must retrieve using inferential processes that go beyond pure lexical semantics and semantic composition. A classic example of this speaker-hearer meaning negotiation comes from conversational implicatures (Grice 1975). To take two well-known cases, if a speaker delivers the utterance in (1a) with t...

This paper reports one theme – Expression of Identity – which emerged from a larger qualitative study. It suggests that existential philosophy offers an insight into the human condition which therapists incorporate into their world view and that choosing to be an existential therapist is a choice involving passion and commitment.

aim and background: discovering factors associated with mental health of the elderly is an interesting subject in the psychology of aging. this study investigated the relationships of spiritual well-being, existential well-being, and hardiness with mental health in the elderly. methods and materials: this descriptive-correlational research was conducted on the elderly living in the nursing home...

OBJECTIVE The aim was to explore how mindfulness group therapy for somatoform disorders influenced the patients' stress experiences, coping strategies and contextual psychosocial processes. METHODS A longitudinal pre- and post-treatment design, using 22 semi-structured individual pre- and post-treatment interviews. Data-analysis was based on a thematic methodology. RESULTS Pre-treatment pat...