Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Estimating the cost of contact for non-resident parents: A budget standards approach

Most Western countries have, for some time, provided income support and/or taxation relief to parents with children in their care. The significant amount of research into the costs of children to couple and sole parent households has been important in assessing and developing family support policies. Changing societal expectations about the level of involvement of fathers in child rearing activities has highlighted the need to understand the costs facing usually male non-resident parents in having contact with their children. The budget standards methodology is used in this paper to estimate the costs for non-resident parents exercising regular contact with their children. Costs of contact are found to be high. For contact with one child for 20 per cent of the year, costs of contact represent about 40 per cent of the costs of that same child in an intact couple household with a medium income and more than half of the costs of that child in a household with low income. Household infrastructure and transportation is the reason for high costs. One implication of this finding is that the total cost of children substantially increases when parents separate. The article discusses some policy implications of these findings. This research is of relevance to social security, taxation, family law and child support policies and administration.

Long-term disability after first-ever stroke and related prognostic factors in the Perth Community Stroke Study, 1989-1990

Background and Purpose-Few reliable estimates of the long-term functional outcome after stroke are available. This population-based study aimed to describe disability, dependency, and related independent prognostic factors at 5 years after,a first-ever stroke in patients in Perth, Western Australia. Methods-All individuals with a suspected acute stroke who were resident in a geographically defined region (population, 138 708) of Perth, Western Australia, were registered prospectively and assessed according to standardized diagnostic criteria over a period of 18 months in 1989 to 1990. Patients were followed up prospectively at 4 and 12 months and 5 years after the index event. Results-There were 370 cases of first-ever stroke, and 277 patients survived to 30 days. Of these early survivors, 152 (55%) were alive at 5 years, and among those who were neither institutionalized (n=146) nor disabled (n=129) at the time of their stroke, 21 (14%) were institutionalized in a nursing home, and 47 (36%) were disabled. The most important predictors of death or disability at 5 years were increasing age, baseline disability defined by a Barthel Index score of <20/20 (odds ratio [OR], 6.3; 95% confidence interval [CI], 2.7 to 14), moderate hemiparesis (OR, 2.7. 95% CI, 1.1 to 6.2), severe hemiparesis (OR, 4.5; 95% CI, 1.1 to 19), and recurrent stroke (OR, 9.4; 95% CI, 3.0 to 30). A low level of activity before the stroke was a significant predictor of institutionalization, and subsequent recurrent stroke was a consistent, independent predictor of institutionalization, disability, and death or institutionalization, increasing the odds of each of these 3 adverse outcomes by 5- to 15-fold. Conclusions-Among 30-day survivors of first-ever stroke, about half survive 5 years; of survivors, one third remain disabled, and I in 7 are in permanent institutional care. The major modifiable predictors of poor long-term outcome are a low level of activity before the stroke and subsequent recurrent stroke. Efforts to increase physical activity among the elderly and to prevent recurrent stroke in survivors of a first stroke are likely to reduce the long-term burden of cerebrovascular disease.

Long-term quantification of the release of monomers from dental resin composites and a resin-modified glass ionomer cement

This study quantified the release of monomers from polymerized specimens of four commercially available resin composites and one glass ionomer cement immersed in water:ethanol solutions. Individual standard curves were prepared from five monomers: (1) triethylene glycol dimethacrylate (TEGDMA), (2) 2-hydroxy-ethyl methacrylate (HEMA), (3) urethane dimethacrylate (UDMA), (4) bisphenol A glycidyl dimethacrylate (BISGMA), and (5) bisphenol A. The concentration of the monomers was determined at Days 1, 7, 30, and 90 with the use of electrospray ionization/mass spectrometry. Data were expressed in mean mumol per mm(2) surface area of specimen and analyzed with Scheffe's test (P < 0.05). The following monomers were found in water: monomers (1) and (2) from Delton sealant, monomer (5) from ScotchBond Multipurpose Adhesive and Delton sealant, monomer (3) from Definite and monomer (4) from Fuji II LC, ScotchBond Multipurpose Adhesive, Synergy and Definite. All these monomers increased in concentration over time, with the exception of monomer (1) from Delton sealant. Monomers (3) and (5) were found in extracts of materials despite their absence from the manufacturer's published composition. All monomers were released in significantly higher concentrations in water:ethanol solutions than in water. The greatest release of monomers occurred in the first day. The effect of the measured concentrations of monomers (1-5) on human genes, cells, or tissues needs to be considered with the use of a biological model. (C) 2002 Wiley Periodicals, Inc.