Sahlqvist Correspondence for Modal mu-calculus

We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.     

The social costs of punishment

Lab experiments on punishment are of limited relevance for understanding cooperative behavior in the real world. In real interactions, punishment is not cheap, but the costs of punishment are of a different nature than in experiments. They do not correspond to direct payments or payoff deductions, but they arise from the repercussions punishment has on social networks and future interactions.     

Arm adductor with arm abduction in rotator cuff tear patients vs. healthy--design of a new measuring instrument

The incidence of (a)symptomatic rotator cuff tears is high, but etiologic mechanisms are unclear and treatment outcomes vary. A practical tool providing objective outcome measures and insight into etiology and potential patient subgroups is desirable. Symptomatic cuff tears coincide with humerus cranialization. Adductor co-activation during active arm abduction has been reported to reduce subacromial narrowing and pain in cuff patients. We present an easy-to-use method to evaluate adductor co-activation. Twenty healthy controls and twenty full-thickness cuff tear patients exerted EMG-recorded isometric arm abduction and adduction tasks. Ab- and adductor EMG's were expressed using the "Activation Ratio (AR)" (-1 ≤ AR ≤ 1), where lower values express more co-activation. Mean control AR's ranged from .7 to .9 with moderate to good test-retest reliability (ICC: .60-.74). Patients showed significantly more adductor co-activation during abduction, with adductor AR's ranging between .3 (teres major) and .5 (latissimus dorsi). In conclusion, the introduced method discriminates symptomatic cuff tear patients from healthy controls, quantifies adductor co-activation in an interpretable measure, and provides the opportunity to study correlations between muscle activation and humerus cranialization in a straightforward manner. It has potential as an objective outcome measure, for distinguishing symptomatic from asymptomatic cuff tears and as a tool for surgical or therapeutic decision-making.     

Mighty metaphors: behavioral and ERP evidence that power shifts attention on a vertical dimension

Thinking about the abstract concept power may automatically activate the spatial up-down image schema (powerful up; powerless down) and consequently direct spatial attention to the image schema-congruent location. Participants indicated whether a word represented a powerful or powerless person (e.g. ‘king’ or ‘servant’). Following each decision, they identified a target at the top or bottom of the visual field. In Experiment 1 participants identified the target faster when their spatial position was congruent with the perceived power of the preceding word than when it was incongruent. In Experiment 2 ERPs showed a higher N1 amplitude for congruent spatial positions. These results support the view that attention is driven to the image schema congruent location of a power word. Thus, power is partially understood in terms of vertical space, which demonstrates that abstract concepts are grounded in sensory-motor processing.     

Randomized controlled trial on the effectiveness of metacognitive therapy and intolerance-of-uncertainty therapy for generalized anxiety disorder

This randomized controlled trial compared the effectiveness of metacognitive therapy (MCT) and intolerance-of-uncertainty therapy (IUT) for generalized anxiety disorder (GAD) in an outpatient context. Patients with GAD (N = 126) consecutively referred to an outpatient treatment center for anxiety disorder were randomly allocated to MCT, IUT, or a delayed treatment (DT) condition. Patients were treated individually for up to 14 sessions. Assessments were conducted before treatment (pretreatment), after the last treatment session (posttreatment), and six months after treatment had ended (follow-up). At posttreatment and follow-up assessments, substantial improvements were observed in both treatment conditions across all outcome variables. Both MCT and IUT, but not DT, produced significant reductions in GAD-specific symptoms with large effect sizes (ranging between 0.94 and 2.39) and high proportions of clinically significant change (ranging between 77% and 95%) on various outcome measures, and the vast majority of the patients (i.e., 91% in the MCT group, and 80% in the IUT group) no longer fulfilled the diagnostic criteria for GAD. Results further indicate that MCT produced better results than IUT. This was evident on most outcome measures, and also reflected in effect sizes and degree of clinical response and recovery.     

RACE/A: an architectural account of the interactions between learning, task control, and retrieval dynamics

This article discusses how sequential sampling models can be integrated in a cognitive architecture. The new theory Retrieval by Accumulating Evidence in an Architecture (RACE/A) combines the level of detail typically provided by sequential sampling models with the level of task complexity typically provided by cognitive architectures. We will use RACE/A to model data from two variants of a picture-word interference task in a psychological refractory period design. These models will demonstrate how RACE/A enables interactions between sequential sampling and long-term declarative learning, and between sequential sampling and task control. In a traditional sequential sampling model, the onset of the process within the task is unclear, as is the number of sampling processes. RACE/A provides a theoretical basis for estimating the onset of sequential sampling processes during task execution and allows for easy modeling of multiple sequential sampling processes within a task.     

Producing Pronouns and Definite Noun Phrases: Do Speakers Use the Addressee’s Discourse Model?

We report two experiments that investigated the widely held assumption that speakers use the addressee's discourse model when choosing referring expressions (e.g., Ariel, 1990; Chafe, 1994; Givón, 1983; Prince, 1985), by manipulating whether the addressee could hear the immediately preceding linguistic context. Experiment 1 showed that speakers increased pronoun use (and decreased noun phrase use) when the referent was mentioned in the immediately preceding sentence compared to when it was not, even though the addressee did not hear the preceding sentence, indicating that speakers used their own, privileged discourse model when choosing referring expressions. The same pattern of results was found in Experiment 2. Speakers produced more pronouns when the immediately preceding sentence mentioned the referent than when it mentioned a referential competitor, regardless of whether the sentence was shared with their addressee. Thus, we conclude that choice of referring expression is determined by the referent's accessibility in the speaker's own discourse model rather than the addressee's.     

A Test of the Testing Effect: Acquiring Problem‐Solving Skills From Worked Examples

The “testing effect” refers to the finding that after an initial study opportunity, testing is more effective for long‐term retention than restudying. The testing effect seems robust and is a finding from the field of cognitive science that has important implications for education. However, it is unclear whether this effect also applies to the acquisition of problem‐solving skills, which is important to establish given the key role problem solving plays in, for instance, math and science education. Worked examples are an effective and efficient way of acquiring problem‐solving skills. Forty students either only studied worked examples (SSSS) or engaged in testing after studying an example by solving an isomorphic problem (STST). Surprisingly, results showed equal performance in both conditions on an immediate retention test after 5 min, but the SSSS condition outperformed the STST condition on a delayed retention test after 1 week. These findings suggest the testing effect might not apply to acquiring problem‐solving skills from worked examples.