We propose an extension, called L + p , of the temporal logic LTL, which enables talking about nitely many register values: the models are innnite words over tuples of integers (resp. real numbers). The formulas of L + p are at: on the left of an until, only atomic formulas or LTL formulas are allowed. We prove, in the spirit of the correspondence between automata and temporal logics, that the ...

Clinical and experimental results are reviewed concerning muscle weakness in patients with hemiparesis after a stroke. The discussion includes the important role that alterations in the physiology of motor units, notably changes in firing rates and muscle fiber atrophy, play in the manifestation of muscle weakness. This role is compared with the lesser role that spasticity (defined as hyperacti...

Acute muscle weakness in children is a pediatric emergency. During the diagnostic approach, it is crucial to obtain a detailed case history, including: onset of weakness, history of associated febrile states, ingestion of toxic substances/toxins, immunizations, and family history. Neurological examination must be meticulous as well. In this review, we describe the most common diseases related t...

I do not agree that this is the untutored view. Whenever I have asked non-philosophers what they take weakness of will to consist in, they have said things like this: weak-willed people are irresolute; they don’t persist in their intentions; they are too easily deflected from the path that they have chosen. My aim in this paper is to pursue this line of thought. I shall develop the idea that th...