Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

The impact of psychological distance on integrative internal dialogs

Negotiators more distanced from the negotiated goal more often exhibit integrative behavior, which maximizes both their individual and joint outcomes. Based on the assumption of an analogy between interpersonal negotiations and internal dialogs simulating social relationships, an experiment was carried out. It aimed to verify if psychological distance (proximal vs. distant perspective on the situation enacted in an internal dialog) affects the processes of integration and confrontation and, consequently, increases the frequency of integrative dialogs. Data from 115 participants (56 women) were analyzed. An increase in psychological distance was found to reduce the intensity of the confrontation process and to cause an increase in the number of integrative internal dialogs.     

Piaget and Vygotsky: Many resemblances,and a crucial difference

Piaget and Vygotsky are two influential developmental psychologists. One can even say that their contributions to developmental psychology, albeit different, are similarly remarkable and unique. This article is in four parts. In the first part, I refer briefly to a commonly noticed difference between Vygotsky’s and Piaget’s theories. In the second part, I show that there are many resemblances between Vygotsky and Piaget. In the third part, I argue that in spite of such resemblances, there exists a crucial, and generally unnoticed, difference between Piaget’s and Vygotsky’s theories, and that this difference underlies the way each author addresses the following issues: 1) the origins of development and the motor of development; 2) the relationships among equal peers vs. those based on authorities, as they are sources of development and learning; 3) the more appropriate methods for studying developmental changes; 4) the importance of the distinction between true vs. necessary knowledge; and 5) the role of transformation and personal reconstruction vs. that of transmission and social influence in the phenomena of development and learning. Finally, I summarize the main ideas and arguments which I elaborate throughout this article, and mention what can be gained when the generally ignored aforementioned difference is noticed.     

Lesbian, Gay, and Bisexual Identity Scale (LGBIS): construct validation, sensitivity analyses and other psychometric properties

According to Mohr and Fassinger (2006), identity is seen as both self-identification and collective identification with values, beliefs, traits or behaviours and attachments. Their Lesbian, Gay, and Bisexual (LGB) multidimensional identity model accounts for important variables regarding the constitution of identities. This model not only accesses numerous dimensions of the lives of LGB individuals, but is also based on a body of research that recognizes how LGB difficulties are caused by societal intolerance and marginalization (Mohr & Fassinger, 2000). The Lesbian, Gay, and Bisexual Identity Scale (LGBIS; Kendra & Mohr, 2008) constitutes an operationalization of this multidimensional model, and the aim of this article is to present its construct validity by analysing its factor structure using a sample of Portuguese lesbian, gay and bisexual participants. Results from exploratory and confirmatory factor analyses, as well as from factor invariance analysis across sub-samples are presented. In a general way, the factor structure obtained in this study follows the original proposal of Kendra and Mohr's (2008) LGBIS. Moreover, scale sensitivity analyses are presented in order to check for eventual differences in the factor structure and/or factor intercorrelations regarding participant gender and sexual orientation. These results are then discussed in the light of LGB identity models.     

Psychological morbidity, illness representations, and quality of life in female and male patients with obstructive sleep apnea syndrome

Obstructive sleep apnea syndrome (OSAS) is a sleep-related breathing disorder that affects both women and men. The aim of this study was to characterize and investigate the differences in terms of anxiety, depression, illness perception, and quality of life between female and male OSAS patients from a total of 111 patients (33 women and 78 men) who were recently diagnosed with OSAS in an outpatient clinic of a University Hospital in Portugal. They underwent a standardized protocol that included evaluation to assess of psychological morbidity (anxiety and depression - Hospital Anxiety and Depression Scale), illness representations (Brief Illness Perception Questionnaire), and quality of life (Sleep Apnea Quality of Life Index). The most significant differences between female and male OSAS patients result of apnea/hypopnea index (AHI), after controlling for body mass index (p?相似文献   

Effects of category label activation about the elderly

The present research focuses on the study of behavioral effects of non-conscious activation of categories among outgroup (young people) and ingroup members (elderly people). Specifically, non-conscious activation of labels that designate the same group, but with different valence (old vs. elderly), showed an effect on a behavior not directly related to interaction with elderly. The first study with young individuals (N= 62) shows that, after non-conscious activation of a negative label (old), participants displayed longer RTs in the first phase of the task than in the case of positive label (elderly) priming. The second study (N= 40), performed with elderly people, shows a similar result, after non-conscious activation of a negative label (old), elderly people showed longer RTs in the first phase of the task, compared with the group in the non-conscious positive label activation condition. Results concerning the theoretical and practical implications are discussed.     

Modulation of afterhyperpolarization evoked by doublets and increasing number of stimuli in rat motoneurons

The authors studied the influence of variable stimulation patterns on parameters of afterhyperpolarization (AHP) in rat spinal motoneurons using intracellular recording of antidromic action potentials. The action potentials analyzed were evoked by either (a) a single stimulus or pair of stimuli with gradually increasing interpulse intervals (IPI) of 5-20 ms or (b) an increasing number of stimulus pulses, from 1 to 4, at a constant IPI. It was demonstrated that modulations of AHP parameters after 2 pulses depended on the IPI, whereas the most significant changes in these parameters were found after the application of 2 or 3 stimuli in a series. The authors propose that changes in the AHP parameters have functional significance for motoneuronal firing pattern and therefore for motor unit force development during tetanic contractions.     

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse (REG ^c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG ^c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG ^c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG ^c logics is coNP-complete.