Update Semantics of Security Protocols

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.     

From Aristotle's Syllogistic to Stoic Conditionals: Holzwege or Detectable Paths?

This paper is chiefly aimed at individuating some deep, but as yet almost unnoticed, similarities between Aristotle's syllogistic and the Stoic doctrine of conditionals, notably between Aristotle's metasyllogistic equimodality condition (as stated at APr. I 24, 41b27–31) and truth-conditions for third type (Chrysippean) conditionals (as they can be inferred from, say, S.E. P. II 111 and 189). In fact, as is shown in §1, Aristotle's condition amounts to introducing in his (propositional) metasyllogistic a non-truthfunctional implicational arrow '', the truth-conditions of which turn out to be logically equivalent to truth-conditions of third type conditionals, according to which only the impossible (and not the possible) follows from the impossible. Moreover, Aristotle is given precisely this non-Scotian conditional logic in two so far overlooked passages of (Latin and Hebraic translations of) Themistius' Paraphrasis of De Caelo (CAG V 4, 71.8–13 and 47.8–10 Landauer). Some further consequences of Aristotle's equimodality condition on his logic, and notably on his syllogistic (no matter whether modal or not), are pointed out and discussed at length. A (possibly Chrysippean) extension of Aristotle's condition is also discussed, along with a full characterization of truth-conditions of fourth type conditionals.     

The effect of the September 11 terrorist attacks on suicide and deliberate self-harm: a time trend study

Suicide rates may be affected by world news. Our objective was to investigate the possible impact of the terrorist attacks of September 11, 2001, on suicidal behavior in the Netherlands. There was evidence of an increase in rates of suicide and deliberate self-harm in the weeks immediately following the attacks. These findings contrast with Durkheim's (1897) original suggestion that suicide rates decline in times of war and outside threat but are in line with findings of increases in suicidal behavior after media coverage of lethal violence.     

A six-factor structure of personality-descriptive adjectives: solutions from psycholexical studies in seven languages

Standard psycholexical studies of personality structure have produced a similar 6-factor solution in 7 languages (Dutch, French, German, Hungarian, Italian, Korean, Polish). The authors report the content of these personality dimensions and interpret them as follows: (a) a variant of Extraversion, defined by sociability and liveliness (though not by bravery and toughness); (b) a variant of Agreeableness, defined by gentleness, patience, and agreeableness (but also including anger and ill temper at its negative pole); (c) Conscientiousness (emphasizing organization and discipline rather than moral conscience); (d) Emotionality (containing anxiety, vulnerability, sentimentality, lack of bravery, and lack of toughness, but not anger or ill temper); (e) Honesty-Humility; (f) Intellect/Imagination/Unconventionality. A potential reorganization of the Big Five factor structure is discussed.     

The interpersonal effects of anger and happiness in negotiations

Three experiments investigated the interpersonal effects of anger and happiness in negotiations. In the course of a computer-mediated negotiation, participants received information about the emotional state (anger, happiness, or none) of their opponent. Consistent with a strategic-choice perspective, Experiment 1 showed that participants conceded more to an angry opponent than to a happy one. Experiment 2 showed that this effect was caused by tracking--participants used the emotion information to infer the other's limit, and they adjusted their demands accordingly. However, this effect was absent when the other made large concessions. Experiment 3 examined the interplay between experienced and communicated emotion and showed that angry communications (unlike happy ones) induced fear and thereby mitigated the effect of the opponent's experienced emotion. These results suggest that negotiators are especially influenced by their opponent's emotions when they are motivated and able to consider them.     

Contour-based object identification and segmentation: Stimuli,norms and data,and software tools

We summarize five studies of our large-scale research program, in which we examined aspects of contour-based object identification and segmentation, and we report on the stimuli we used, the norms and data we collected, and the software tools we developed. The stimuli were outlines derived from the standard set of line drawings of everyday objects by Snodgrass and Vanderwart (1980). We used contour curvature as a major variable in all the studies. The total number of 1,500 participants produced very solid, normative identification rates of silhouettes and contours, straight-line versions, and fragmented versions, and quite reliable benchmark data about saliency of points and object segmentation into parts. We also developed several software tools to generate stimuli and to analyze the data in nonstandard ways. Our stimuli, norms and data, and software tools have great potential for further exploration of factors influencing contour-based object identification, and are also useful for researchers in many different disciplines (including computer vision) on a wide variety of research topics (e.g., priming, agnosia, perceptual organization, and picture naming). The full set of norms, data, and stimuli may be downloaded fromwww.psychonomic.org/archive/.     

ERP evidence for the time course of graphic, phonological, and semantic information in Chinese meaning and pronunciation decisions

Two words that varied in their relationship were presented sequentially to Chinese readers who made meaning and pronunciation decisions. In the meaning task, they decided whether the words had the same meaning. In the pronunciation task, they decided whether the words had the same pronunciation. In both tasks, the word pairs represented 1 of 4 relationships: graphically similar, homophonic, semantically related, or unrelated. Event related potentials (ERP) recordings made from the onset of the 2nd word suggested a temporal unfolding of graphic, phonological, and semantic effects. Specifically, graphically-related pairs produced a smaller P200 in the pronunciation task and a smaller N400 in the meaning task. Homophones produced reduced N400 component with bilateral sources in the meaning task.     

Global and local processing of hierarchical visual stimuli in tufted capuchin monkeys (Cebus apella)

Capuchin monkeys' (Cebas apella) relative accuracy in the processing of the global shape or the local features of hierarchical visual stimuli was assessed. Three experiments are presented featuring manipulations of the arrangement and the density of the local elements of the stimuli. The results showed a clear advantage for local level processing in this species, which is robust under manipulations of the density of the local elements of the stimuli. By contrast the density of the component elements linearly affected accuracy in global processing. These findings, which support those from other studies in which a local superiority emerged in animals, challenge the generality of early claims concerning the adaptive value of global advantage in the processing of hierarchical visual patterns.     

MMPI-2 and MCMI-III scores among dutch inpatient substance abusers: Assessing correspondence and cross-cultural equivalence

The Millon Clinical Multiaxial Inventory (MCMI-II and MCMI-III) and the Minnesota Multiphasic Personality Inventory (MMPI-2) were applied to 263 Dutch inpatient substance abusers with multiple psychiatric diagnoses, and the results compared with those of 306 North-American substance abusers studied by Ward (1995). We looked for structural similarity both across groups (per instrument) and across the two instruments (per sample), using principal components analysis and congruence analysis. The component structure found by Ward was partly replicated in the Dutch group, thus cross-validating the use of the two instruments with these patients. Moreover, as found by Ward, the MMPI-2 content and supplementary scales of the Dutch sample proved to be important determinants of the first three MMPI-2 components, adding to convergent validity. Questions remained about the influence of the (dis)continuity of MCMI-II and MCMI-III on the replicability of the MCMI components.