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     

Precipitation in a Cu–4Ti–2Be alloy

It is known that the binary Cu–2?wt.% Be alloy can be strengthened by ageing its supersaturated solution at 523?K. The increase in the strength arising from ageing is because of the formation of GP zones. The same level of strength is achieved by ageing the supersaturated solid solution of a dilute binary Cu–4?wt.% Ti alloy at 723?K. In contrast to Cu–2?wt.% Be alloy, the increase in strength in this alloy occurs on account of spinodal decomposition of the as-quenched microstructure through the mechanism of clustering and ordering. In the present study, decomposition of a supersaturated solid solution of the ternary Cu–4?wt.% Ti–2?wt.% Be alloy was studied. Whereas ageing of this alloy at 523?K resulted in the formation of GP zones like in a Cu–2?wt.% Be alloy, ageing at 723?K resulted in a spinodally decomposed microstructure as in a Cu–4?wt.% Ti alloy. The decomposition of the ternary alloy at the two temperatures by two different mechanisms indicates that Be and Ti in solution in Cu act, more or less, independently of each other during ageing.     

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.     

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.     

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.     

Career Choice Barriers, Supports, and Coping Strategies: College Students' Experiences

This study used qualitative methods to examine the perceived influences on college students' selection and implementation of career choices. Students at two universities participated in a structured interview examining (a) factors that had affected their choice of occupational field, (b) supports and barriers to pursuing their choices, and (c) methods they had used to cope with choice barriers. Across both samples, person factors (e.g., interests) and work-relevant experiences were frequently cited bases for choice selection, although contextual factors (e.g., financial constraints, social supports) were among the most salient barriers and supports to choice implementation. Each sample also reported choice selection and implementation influences and coping strategies that may have been linked to their particular environmental and developmental contexts. Implications of these findings for career theory, research, and practice are considered.     

Values,Susceptibility to Normative Influence,and Attribute Importance Weights: A Nomological Analysis

It is argued that the construct of individual susceptibility to normative influence (SNI) needs to be put into a wider nomological framework, with antecedents and consequences. Based on prior literature, a causal sequence is hypothesized in which values are antecedent to SNI, which itself shapes the importance placed by the individual on different attributes. It is further suggested that the relation between values and SNI is strongest for “external” values, and that high SNI leads to greater importance for attributes that provide “socially visible” benefits. Data from a national field survey (N= 663) on consumer preferences are analyzed to test these hypotheses, using confirmatory factor analysis via LISREL 8.30 (Jöreskog & Sörbom, 1993). The analysis finds support for most of the hypothesized structural relations.     

The moderating impact of temporal separation on the association between intention and physical activity: a meta-analysis

Previous meta-analyses have estimated that the intention–behaviour association in physical activity (PA) is large in magnitude. However, these prior meta-analyses have also revealed a large degree of heterogeneity, suggesting the presence of moderating variables. This study examines the impact of one such moderator, testing the hypothesis that the magnitude of the association between intention and behaviour decreases as the temporal separation between the two increases. A systematic literature search was used to identify published and unpublished studies that met the inclusion criteria. A random-effects meta-regression was conducted to test the study hypothesis. A total of 78 journal articles and 11 unpublished dissertations were identified, yielding 109 effect sizes. The mean number of weeks between the measurement of intention and behaviour was 5.4 (SD = 6.6, range = .43, 26). The average correlation between intention and behaviour was r = 0.51. In line with theoretical predictions, temporal separation was a significant moderator of the intention–behaviour correlation (B = ?.014, p < .001) and explained 24% of the between-study variance. This result remained unchanged when entered simultaneously with several control variables. The results of this analysis have important implications both for researchers and for intervention designers aiming to increase rates of PA.     

The Situational Impact of Brand Image Beliefs

This study experimentally examines some situational influences on the formation and consequences of two brand image beliefs, pertaining to fun and sophistication (classiness). It tests McCracken's (1986) meaning transfer mechanisms and establishes that nonverbalized personality associations of celebrity endorsers on these dimensions can indeed reinforce equivalent consumer beliefs about a brand's fun and classiness benefits. However, this occurs only if a social consumption context is evoked, and only if the brand image beliefs are appropriate to the consumer schema for the product category involved. Moreover, under these facilitating conditions, such ad‐created brand image beliefs have an impact only on brand purchase intentions and not on brand attitudes. Results have implications for the growing literature on different types of brand imagery associations, as well as for future research on the processing of nonverbal stimuli, the measurement of nonfunctional brand beliefs, and consumer inference processes.