Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

Mechanisms of visuospatial orienting in deafness

The aim of this work was to explore the nature of elementary operations (engage, move, disengage, and filtering) of spatial attention in deaf experts in sign language. Good communication skills require deaf people to rapidly change attention to at least two separate spatial locations, the facial expression and the hand signs of the speaker. Overtraining imposed by sign language demands might have modified certain characteristics of the spatial attention operations. To test that, a spatial orienting task was used in two experiments. Experiment 1 showed that deaf subjects reoriented their attention to the target location faster than hearing subjects in invalid trials. Experiment 2 indicated that inhibition of return decays faster in deaf than in hearing people. These results suggest that deaf subjects can disengage their attention faster than hearing subjects, fostering search of relevant information in more spatial locations.     

Word-based grouping affects the prime-task effect on semantic priming

Semantic priming between words is reduced or eliminated if a low-level task such as letter search is performed on the prime word (the prime task effect), a finding used to question the automaticity of semantic processing of words. This idea is critically examined in 3 experiments with a new design that allows the search target to occur both inside and outside the prime word. The new design produces the prime task effect (Experiment 1) but shows semantic negative priming when the target letter occurs outside the prime word (Experiments 2 and 3). It is proposed that semantic activation and priming are dissociable and that inhibition and word-based grouping are responsible for reduction of semantic priming in the prime task effect.     

Dancing shapes: a comparison of luminance-induced distortions

We present an illusory display in which a grid of outlined squares is positioned in front of a moving luminance gradient. Observers perceive a strong, illusory, 'wavelike' motion of the superimposed squares. We compared luminance effects on dynamic and static aspects of this illusion. The dynamic aspect was investigated by means of a temporal gradient, which induced an illusory pulsing of the outlined squares. The static aspect was investigated in two different ways. In one experiment, the outlined squares were positioned on a spatial gradient, which caused the squares to look like trapezoid shapes. In another experiment, the squares were positioned on different luminance fields, which affected their apparent size. In all experiments, luminance settings were the same, and observers were asked to indicate the direction and strength of the induced distortions. The overall results show large agreements between the dynamic distortion and the first-mentioned static distortion, whereas different tendencies emerged for the second static distortion. In a second series of experiments, we examined these distortions for various ranges of the luminance gradient and for border gradients as well. On the basis of these data, we explored how the directions of the perceived distortions of the single-gradient displays examined in this paper could be related to each other.     

Amitriptyline administered after consolidation of inhibitory avoidance does not affect memory retrieval

In Experiment 1, the effect of the administration of the antidepressant amitriptyline (30 mg/kg) for 21 days on the acquisition and consolidation of the inhibitory avoidance task was studied in male and female mice. In Experiment 2, it was evaluated whether amitriptyline administered after the consolidation of this task would block the memory retrieval. Anxiety and spontaneous activity in the elevated plus maze were also assessed. When amitriptyline was given before the training phase of inhibitory avoidance it blocked learning in males and there was a tendency in the same direction in females. However, the drug administered between training and test phases did not affect conditioning. These effects of amitriptyline seem to be independent of its actions on anxiety and locomotor activity. It may be that the effects observed are related to the therapeutic effects of antidepressants.     

Mothers' depressed mood and anxiety levels are reduced after massaging their preterm infants

Forty mothers whose preterm infants were about to be discharged from the Neonatal Intermediate Care Nursery (NICU) were randomly assigned to two groups: the first group of mothers conducted preterm infant massage and the second group only observed their preterm infants receiving massage. Both groups of mothers had lower depressed mood scores following the session. However, only the group who massaged their infants had lower anxiety scores after the session.     

The state of the psychological contract and its relation with employees' psychological health

In the present paper the role of the state of the psychological contract to predict psychological health results is studied in a sample of 385 employees of different Spanish companies. Results indicate that the state of the psychological contract significantly predicts life satisfaction, work-family conflict and well-being beyond the prediction produced by the content of the psychological contract. In addition, trust and fairness, two dimensions of the state of psychological contract, all together contribute to explain these psychological health variables adding value to the role as predictor of fulfillment of the psychological contract. The results support the approach argued by Guest and colleagues.     

Conditional Probability and Defeasible Inference

We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey–Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of non-monotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).Expectation is a term of art in these models, which should not be confused with the notion of expected utility. The expectations of an agent are some form of belief weaker than absolute certainty. Our model offers a modified and extended version of an account of qualitative belief in terms of conditional probability, first presented in (van Fraassen, 1995). We use this model to relate probabilistic and qualitative models of non-monotonic relations in terms of expectations. In doing so we propose a probabilistic model of the notion of expectation. We provide characterization results both for logically finite languages and for logically infinite, but countable, languages. The latter case shows the relevance of the axiom of countable additivity for our probability functions. We show that a rational logic defined over a logically infinite language can only be fully characterized in terms of finitely additive conditional probability. The research of both authors was supported in part by a grant from NSF, and, for Parikh, also by support from the research foundation of CUNY.     

Anxiety sensitivity and the five-factor model of personality.

Relations between anxiety sensitivity (AS) and the higher-order and lower-order dimensions of the 'Big Five' model of personality were examined in 317 university students. AS was significantly associated with a number of personality domains and facets of the NEO-PI-R. Regression analyses indicated that only the higher-order domains of neuroticism and extraversion (negatively) and the lower-order N facets of anxiety and self-consciousness, significantly predicted AS. Three lower-order factors within AS were identified and were also compared to NEO-PI-R domains and facets. In a hierarchical regression, the three AS factors significantly predicted variance in a measure of panic-related anxiety after the effects of the six N facets were statistically controlled. Results are discussed in the context of previous work with a Big Three taxonomy of personality and implications for understanding the nature and possible origins of AS are outlined.