Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms

Studia Logica - The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting...     

Current concepts in the prevention of Alzheimer's disease

Alzheimer's disease represents a significant challenge to the aging population. Since most estimates suggest that AD has a multifactorial etiology, the challenge to find preventative approaches is particularly great. With the aging of the population and the very high incidence from the eighth decade on, the challenge is further enhanced by the need to think of relatively safe interventions given the relative frailty of this elderly population. The need to find safe treatments, or ones with well-understood safety profiles, has led to the examination of known agents for potential dementia-preventing properties. Data supporting these interventions comes from observational studies, laboratory analyses, and clinical trials. Potential mechanisms for prevention of AD include anti-inflammatory and antioxidant approaches. Modulation of risk factors associated with cardiac disease may also reduce the risk of AD. Known agents have been examined for their potential to modify amyloid pathology. Trial designs to address prevention of AD include both primary and secondary prevention studies as well designs to assess slowing disease progression. Information can also be gathered when dementia evaluation is added to ongoing studies. As results from these studies becoming available, we will be able to refine our approach to managing this disease.