A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

Provability logic is a modal logic for studying properties of provability predicates, and Interpretability logic for studying interpretability between logical theories. Their natural models are GL-models and Veltman models, for which the accessibility relation is well-founded. That’s why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem (see [1]) doesn’t exist for them. However, we show that the analogous condition must still hold, by constructing two GL-models with worlds in them that are modally equivalent but not bisimilar, and showing how these GL-models can be converted to Veltman models with the same properties. In the process we develop some useful constructions: games on Veltman models, chains, and general method of transformation from GL-models/frames to Veltman ones.     

Blood flow velocity changes in anterior cerebral arteries during cognitive tasks performance

Objective

Transcranial Doppler sonography (TCD) enables monitoring of blood flow velocities (BFVs) in basal cerebral arteries during different cognitive tasks performance with great temporal resolution. So far, BFVs changes during mental activity were monitored primarily in middle cerebral arteries (MCAs) and little is known about these changes in anterior cerebral arteries (ACAs).

Aim

To determine the effect of different cognitive tasks performance on BFV changes and hemispheric dominance in ACAs and to assess the most suitable activation test for monitoring of BFV changes in ACAs.

Methods

Fourteen right-handed, healthy subjects aged 20–26 were included in the study. BFVs in both ACAs were recorded simultaneously during performance of cognitive tasks designed to activate frontal lobes: phonemic verbal fluency test (pVFT), Stroop tests and Trail Making Tests (TMTs).

Results

A statistically significant BFV increase was recorded in both ACAs during performance of all cognitive tasks. Statistically significant right ACA dominance was found during performance of pVFT and TMTB. The most significant BFV increase was obtained during performance of TMTB.

Conclusion

Our result addressed cognitive tests with great activation potential for monitoring of ACAs that might be used in distinguishing of healthy individuals and patients with neurovascular or neurodegenerative diseases.     

Message size constraints on discourse planning in synchronous computer-mediated communication

Three groups of 20 dyads planned the MTV Music Video Awards Show over computers. The groups varied in whether they could send 4-line, 10-line, or 18-line messages, in part to examine whether increased planning efficiency in computer-mediated communication reflects communication strategies associated with constraints on message size. The results demonstrate that increased efficiency is not a function of such design features as the maximum message that may be sent. However, the subjects in the 4-line condition sent shorter messages to one another, were less likely to engage in a strategy of making multiple suggestions that required a single assent, and were more likely to differ in the relative proportion of their contributions to the discourse. The subjects in the 10-line condition had shorter maximum messages (and proportionately more disfluencies) than did those in the 18-line condition, despite the finding that the maximum messages of the latter would have also fit within 10 lines. Thus, the results also support a claim that size of the text window may result in different discourse management strategies and may influence an initial discourse-planning stage.     

Book Reviews

M eier , C arl A lfred Personality: The Individuation Process in the Light of C.G. Jung's Typology
K ast , V erena . Folktales as Therapy
N eumann , E rich . The Fear of the Feminine: and Other Essays on Feminine Psychology
E l S affar , R uth A nthony . Rapture Encaged: the Suppression of the Feminine in Western Culture
S tein M urray , & H ollwitz , J ohn (eds.). Psyche at Work: Workplace Applications of Jungian Analytical Psychology
R obertson , R obin . Beginner's Guide to Revelation: a Jungian Interpretation
T hrail , E mma . Retrospect: The Story of an Analysis
U lanov , A nn B elford . The Wizard's Gate: Picturing Consciousness
W alker , S teven F. Jung and the Jungians on Myth: An Introduction
A lexandris , A thina & V aslamatzis , G rigoris , (eds.). Countertransference: Theory, Technique, Teaching
C lulow , C hristopher (ed.). Rethinking Marriage: Public and Private Perspectives     

Social-Psychological Interventions for Intergroup Reconciliation: An Emotion Regulation Perspective

Intergroup reconciliation is a requirement for lasting peace in the context of intergroup conflicts. In this article, we offer an emotion regulation perspective on social-psychological interventions aimed at facilitating intergroup reconciliation. In the first section of the article, we conceptualize intergroup reconciliation as an emotion-regulation process involving positive affective change and offer a framework that integrates the emotion regulation and intergroup reconciliation literatures. In the sections that follow, we review social-psychological interventions that involve changes in beliefs and identity and assess their effects on specific intergroup emotions pertinent for intergroup reconciliation. More specifically, we focus our discussion on specific reconciliation-oriented intervention strategies and their relation to emotions pertinent for facilitating reconciliation, including intergroup hatred, anger, guilt, hope, and empathy. In the final section, we consider key implications and growth points for the field of intergroup reconciliation.     

Predicting Self‐Confident Behaviour with Implicit and Explicit Self‐Esteem Measures

The present research compared the validity of popular direct and indirect measures of self‐esteem in predicting self‐confident behaviour in different social situations. In line with behavioural dual‐process models, both implicit and explicit self‐esteem were hypothesized to be related to appearing self‐confident to unacquainted others. A total of 127 participants responded to the Rosenberg Self‐Esteem Scale, the Multidimensional Self‐Esteem Scale, and an adjective scale for measuring explicit self‐esteem (ESE). Participants' implicit self‐esteem (ISE) was assessed with four indirect measures: the Implicit Association Test (IAT), the name‐letter task (NLT), and two variants of an affective priming task, the reaction‐time affective priming task (RT‐APT) and the error‐based affective priming task (EB‐APT). Self‐confident behaviour was observed in four different social situations: (i) self‐introduction to a group; (ii) an ostracism experience; (iii) an interview about the ostracism experience; and (iv) an interview about one's personal life. In general, appearing self‐confident to unknown others was independently predicted by ESE and ISE. The indirect measures of self‐esteem were, as expected, not correlated, and only the self‐esteem APTs—but not the self‐esteem IAT or the NLT—predicted self‐confident behaviours. It is important to note that in particular the predictive power of the self‐esteem EB‐APT pertained to all four criteria and was incremental to the ESE measures. Copyright © 2016 European Association of Personality Psychology     

Cross‐cultural Generalizability of the Alternative Five‐factor Model Using the Zuckerman–Kuhlman–Aluja Personality Questionnaire

Several personality models are known for being replicable across cultures, such as the Five‐Factor Model (FFM) or Eysenck's Psychoticism–Extraversion–Neuroticism (PEN) model, and are for this reason considered universal. The aim of the current study was to evaluate the cross‐cultural replicability of the recently revised Alternative FFM (AFFM). A total of 15 048 participants from 23 cultures completed the Zuckerman–Kuhlman–Aluja Personality Questionnaire (ZKA‐PQ) aimed at assessing personality according to this revised AFFM. Internal consistencies, gender differences and correlations with age were similar across cultures for all five factors and facet scales. The AFFM structure was very similar across samples and can be considered as highly replicable with total congruence coefficients ranging from .94 to .99. Measurement invariance across cultures was assessed using multi‐group confirmatory factor analyses, and each higher‐order personality factor did reach configural and metric invariance. Scalar invariance was never reached, which implies that culture‐specific norms should be considered. The underlying structure of the ZKA‐PQ replicates well across cultures, suggesting that this questionnaire can be used in a large diversity of cultures and that the AFFM might be as universal as the FFM or the PEN model. This suggests that more research is needed to identify and define an integrative framework underlying these personality models. Copyright © 2016 European Association of Personality Psychology