Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

On Measuring and Modeling Physiological Synchrony in Dyads

Physiological synchrony within a dyad, or the degree of temporal correspondence between two individuals' physiological systems, has become a focal area of psychological research. Multiple methods have been used for measuring and modeling physiological synchrony. Each method extracts and analyzes different types of physiological synchrony, where ‘type’ refers to a specific manner through which two different physiological signals may correlate. Yet, to our knowledge, there is no documentation of the different methods, how each method corresponds to a specific type of synchrony, and the statistical assumptions embedded within each method. Hence, this article outlines several approaches for measuring and modeling physiological synchrony, connects each type of synchrony to a specific method, and identifies the assumptions that need to be satisfied for each method to appropriately extract each type of synchrony. Furthermore, this article demonstrates how to test for between-dyad differences of synchrony via inclusion of dyad-level (i.e., time-invariant) covariates. Finally, we complement each method with an empirical demonstration, as well as online supplemental material that contains Mplus code.     

Creating Brand Meaning: A Review and Research Agenda

In this paper I review, from the perspective of experimental research, studies that have examined how brands acquire cultural meaning, and suggest future research directions. McCracken's (Journal of Consumer Research, 13 , 1986 and 71) model of the meaning transfer process gained influence about thirty years ago, but experimental studies of the processes it posited have been limited in their scope. The review is organized around three questions. First, what should be the dependent variables: the types of meanings that can adhere to brands? Second, what have we learned from studies on the types of visual, sensory, and human cues that are the sources of particular types of brand meaning—our independent variables? Third, what do we know, and need to know, about the inferential and other processes through which consumers “take possession” of these brand meanings from these cues? The review concludes with a research agenda.     

Weight,Perceptions, and Bullying: What Kind of Pounds Matter?

A great deal of research has investigated weight as a predictor for bullying victimization. However, weight is rarely examined in light of its potential role in explaining bullying perpetration, despite the fact that the definition of bullying typically requires a power imbalance, which can refer to either social power or physical size. Using negative binomial regressions, we investigated weight as a predictor of overt and relational bullying behaviors for a sample of 3208 6th–8th graders from 11 schools in a northeastern state. We examined whether this relationship differs by gender, and we explored whether objective size or perception of size is more predictive of perpetration. We also examined whether certain protective factors, like a positive school environment, moderated the effect of weight on bullying perpetration. We found that students who reported a higher BMI engaged in more overt, but not relational, bullying perpetration. Interestingly, students with misperceptions about their weight reported higher levels of both types of bullying perpetration, while students reporting a more positive school climate engaged in less overt and relational bullying. We also found gender differences in that girls are statistically more likely to commit overt bullying if they have a higher BMI. Our results suggest that prevention programs should address weight as a predictor of bullying behaviors, especially for girls, but also that body image and misperception of weight are important topics for prevention programs.     

A theoretical review of consumer priming: Prospective theory,retrospective theory,and the affective–behavioral–cognitive model

Primes are pervasive in marketing. Despite frequent use in practice, there has yet to be a framework to categorize priming techniques that is inclusive of measurement challenges and methods for administering primes as well as provides insight for researchers on how to think about and construct research using priming. Prior researchers have provided reviews of priming research, which have set the stage for discussions of priming theories and challenges of using primes in survey research. We build from their review and contribute in four ways by (i) reviewing priming theories rooted in both prospective and retrospective models of memory; (ii) developing a priming framework based on the ABC model of attitudes (affective, behavioral, and cognitive priming) that incorporates lexical priming, priming fluency effects, and methods for administering primes; (iii) addressing priming challenges including discrepancies between the priming method and measurement method; and (iv) positing the influence of personal characteristics on priming, such as the role of skepticism in assimilation and contrast effects. The final model is offered and elaborated upon as a guide for future research. Copyright © 2016 John Wiley & Sons, Ltd.     

Exposure,Loss, and Support Predicting the Dimensions of Posttsunami Trauma

This study examined whether exposure, resource loss, and social support predicted the posttsunami trauma of PTSD, depression, negative affect, and physical health problems of the 2004 tsunami survivors. Four hundred sixteen survivors were interviewed in Tamil Nadu (India) 14 months posttsunami. Loss of life followed by loss of property and disaster exposure positively predicted the dimensions of trauma. Survivors having lower social status and income received less material and informational support than their equally affected counterparts, which furthered stress and distress. The survivors’ trauma can be arrested, minimizing the exposure and tangible resource loss, and improving the delivery of social support.     

Intrapersonal variation in consumer susceptibility to normative influence: toward a better understanding of brand choice decisions

The authors examined intrapersonal variation in consumer susceptibility to normative influence as a key mediator of wine brand choice. On the basis of a consumer sample, the authors found that individual values and social identity complexity affect consumer susceptibility to normative influence with downstream effects on (a) which brand benefits consumers desire in wine and (b) choice. Individuals higher on internal values and with more complex social identities were less susceptible to normative influence and placed less emphasis on social brand benefits. Separate examinations of consumption scenarios with and without salient reference groups showed that reference group salience interacts with personal values and social identity complexity in affecting consumer susceptibility to normative influence, which in turn affects which brand benefits consumers desire and consequently choice.     

Probabilistic Subset Conjunction

The authors introduce subset conjunction as a classification rule by which an acceptable alternative must satisfy some minimum number of criteria. The rule subsumes conjunctive and disjunctive decision strategies as special cases. Subset conjunction can be represented in a binary-response model, for example, in a logistic regression, using only main effects or only interaction effects. This results in a confounding of the main and interaction effects when there is little or no response error. With greater response error, a logistic regression, even if it gives a good fit to data, can produce parameter estimates that do not reflect the underlying decision process. The authors propose a model in which the binary classification of alternatives into acceptable/unacceptable categories is based on a probabilistic implementation of a subset-conjunctive process. The satisfaction of decision criteria biases the odds toward one outcome or the other. The authors then describe a two-stage choice model in which a (possibly large) set of alternatives is first reduced using a subset-conjunctive rule, after which an alternative is selected from this reduced set of items. They describe methods for estimating the unobserved consideration probabilities from classification and choice data, and illustrate the use of the models for cancer diagnosis and consumer choice. They report the results of simulations investigating estimation accuracy, incidence of local optima, and model fit. The authors thank the Editor, the Associate Editor, and three anonymous reviewers for their constructive suggestions, and also thank Asim Ansari and Raghuram Iyengar for their helpful comments. They also thank Sawtooth Software, McKinsey and Company, and Intelliquest for providing the PC choice data, and the University of Wisconsin for making the breast-cancer data available at the machine learning archives.