Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Quantifying the beneficial interests of cohabitees

Discusses entitlements to a share of the sale proceeds of the family home where partners are cohabiting but not married and the property is registered in the name of one person only. Explains the obligation to establish that a cohabitee has an equitable interest in the property under the principles of constructive or resulting trusts. Considers how the court is able to quantify the respective shares, both before and after Oxley v Hiscock. [From the Legal Journals Index]

"I’ll call you when we are ready" (One family’s experience of critical care and end of life decision making)

The purpose of this paper is to explore through narrative accounts one family's expérience of critical care, after the admission of a family member to an Intensive Care Unit (ICU) and their subséquent death five weeks later. Numerous studies support the need for effective communication and clear information to be given to the family. In this instance it was évident from their stories that there were numerous barriers to communication, including language and a lack of insight into the needs of the family. Many families do not understand the complexities of nursing care in an ICU so lack of communication by nursing staff was identified as uncaring behavior and encounters. Facilitating a family's proximity to a dying patient and encouraging them to participate in care helps to maintain some sensé of personal control. Despite a commitment to involving family members in care, which was enshrined in the Unit Philosophy, relatives were banished to the waiting room for hours. They experienced feelings of powerlessness and helplessness as they waited with other relatives for news following investigations or until 'the doctor had completed his rounds'. Explanations of "we must make 'the patient' comfortable" was no consolation for those who wished to be involved in care. The words "I'il call you when we are ready" became a mantra to the forgotten families who waited patiently for those with power to admit them to the ICU. Implications are this family felt they were left alone to cope with the traumatic expériences leading up to and surrounding the death. They felt mainly supported by the priest, who not only administered the last rites but provided spiritual support to the family and dealt sensitively with many issues. Paternalism in décision making when there is a moral obligation to ensure that discussions on end of life dilemmas are an inclusive process with families, doctors, nurses was not understood, therefore it caused conflict within the family over EOL décision making. The family felt that the opportunity to share expériences through telling and retelling their stories would enable them to reconfigure the past and create purpose in the future.