Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5

We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.     

ILLUSION OF CONTROL:

Abstract— Experiments in which subjects are asked to analytically assess response-outcome relationships have frequently yielded accurate judgments of response-outcome independence, but more naturalistically set experiments in which subjects are instructed to obtain the outcome have frequently yielded illusions of control. The present research tested the hypothesis that a differential probability of responding p (R), between these two traditions could be at the basis of these different results. Subjects received response-independent outcomes and were instructed either to obtain the outcome (naturalistic condition) or to behave scientifically in order to find out how much control over the outcome was possible (analytic condition). Subjects in the naturalistic condition tended to respond at almost every opportunity and developed a strong illusion of control. Subjects in the analytic condition maintained their p (R) at a point close to 5 and made accurate judgments of control. The illusion of control observed in the naturalistic condition appears to be a collateral effect of a high tendency to respond in subjects who are trying to obtain an outcome, this tendency to respond prevents them from learning that the outcome would have occurred with the same probability if they had not responded.     

A partially ordered extention of the integers

This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.The editing of this unified version of two previous papers [Epstein, Rasiowa 1990, 1991] by the authors was completed, except for footnotes, while the first author visited at Warsaw University during June–July, 1994. The footnotes were added by the first author in September, 1994.Presented byRyszard Wójcicki     

Multidimensional signal detection analyses (MSDA) for testing separability and independence: A Pascal program

A Pascal (Turbo 6.0) program for testing perceptual separability, decisional separability, and perceptual independence—three types of independence defined in the context of general recognition theory (GRT)—is presented. GRT is essentially a multidimensional extension of signal detectability theory (Green & Swets, 1966) and has been employed in complete-identification experimental paradigms to examine whether information processing of stimulus dimensions is perceptually and/or decisionally separable and/or perceptually independent. The definitions of these different forms of “independence” are provided, the experimental design is described, and the program, MSDA, is described and demonstrated.     

On estimation and hypothesis testing problems for correlation coefficients

A selection of statistical problems commonly encountered in psychological or psychiatric research concerning correlation coefficients are re-evaluated in the light of recently developed simplifications in the forms of the distribution theory of the intraclass correlation coefficient (exact theory), of the product-moment correlation coefficient and of the Spearman rank correlation coefficient (approximate).     

Simultaneous behavioral and neural (cochlear nucleus) measurement during signal detection in the rabbit

Classical conditioning of the rabbit nictitating membrane (NM) response was adapted as a model system for simultaneous measurement of behavioral and neural responses in auditory signal detection. Animals were trained to a 36-dB spectral-level white-noise CS paired with a corneal airpuff US. The CS intensity was then reduced to threshold, using a modified staircase procedure, and responses on detect and nondetect trials were compared for the same stimulus intensities. At threshold, the behavioral NM response was dichotomous, being present on detect trials and completely absent on nondetect trials. In marked contrast, evoked neural unit activity to the CS recorded from the anteroventral cochlear nucleus was clearly present and identical on both detect and nondetect trials, suggesting that the detection “decision” is made more centrally than the cochlear nucleus.     

The Association Between Self-Critical Rumination and Parenting Stress: The Mediating Role of Mindful Parenting

Self-critical rumination is a type of rumination focused on the content of self-critical thoughts. Although self-criticism and rumination are two maladaptive psychological processes with a negative effect on parenting, including parenting stress, the role of self-critical rumination on parenting outcomes has never been explored. The aim of this study is to analyze the role of self-critical rumination on parenting stress and examine whether mindful parenting dimensions (listening with full attention, compassion for the child, non-judgmental acceptance of parental functioning, emotional awareness of the child, and self-regulation in parenting) mediate this association. The moderating role of child’s age in the direct and indirect effects was also examined. A sample of 265 Portuguese mothers of children/adolescents from the general community completed measures of self-critical rumination, mindful parenting, and parenting stress. Self-critical rumination was negatively associated with all mindful parenting dimensions and positively associated with parenting stress. However, only non-judgmental acceptance of parental functioning and emotional awareness of the child dimensions were significant mediators of the relationship between self-critical rumination and parenting stress. The link between self-critical rumination and parenting stress as well as the indirect effects were not moderated by the child’s age. This study identifies an important maladaptive psychological process (self-critical rumination) that explains individual differences in parenting and a mechanism that may account for the link between self-critical rumination and parenting stress, which can both be modified through intervention.     

The Network Structure of Childhood Psychopathology in International Adoptees

International adoptees are at an increased risk of emotional and behavioral problems, especially those who are adopted at an older age. We took a new approach in our study of the network structure and predictability of emotional and behavioral problems in internationally adopted children in Finland. Our sample was from the on-going adoption study and comprised 778 internationally adopted children (387 boys and 391 girls, mean age 10.5 (SD 3.4) years). Networks were estimated using Gaussian graphical models and lasso regularization for all the children, and separately for those who were adopted at different ages. The results showed that anxiety/depressive symptoms, social problems, and aggressiveness were the most central symptom domains. Somatic symptoms were the least central and had the weakest effect on the other domains. Similarly, aggressiveness, social problems, and attention problems were high in terms of predictability (73–65%), whereas internalizing problems were relatively low (28–56%). There were clear but local age-group differences in network structure, symptom centrality, and predictability. According to our findings, network models provide important additional information about the centrality and predictability of specific symptom domains, and thus may facilitate targeted interventions among international adoptees.