A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time Temporal Epistemic Logic (ATEL) is used for expressing properties of multi-agent systems represented by alternating epistemic temporal systems as well as concurrent epistemic game structures. Unbounded model checking (a SAT based technique) is applied for the first time to verification of ATEL. An example is given to show an application of the technique.     

Identification with all humanity—A test of the factorial structure and measurement invariance of the scale in five countries

Identification with all humanity measured as an individual characteristic is an important factor related to social and international relations, such as concern for global issues and human rights, prosocial attitudes, intergroup forgiveness, attitudes toward immigrants, solving global problems, reactions to hate crimes and dehumanisation. We examine the factorial structure, psychometric properties and measurement invariance of the Identification with All Humanity (IWAH) scale in student samples from five countries (the United States, Poland, France, Mexico and Chile; N = 1930). Separate confirmatory factor analyses (CFAs) for each country showed a second-order model of one superordinate factor with two subfactors. The cross-country validation of the scale, based on multigroup CFA, confirmed configural and metric invariance between countries for raw scores, and full metric invariance for “pure” scores. This study showed that the IWAH scale can be successfully used for cross-country research and the results from different countries can be compared and integrated.     

COUNTERFACTUALS WITH TRUE COMPONENTS

One criticism of David Lewis's account of counterfactuals is that it sometimes assigns the wrong truth-value to a counterfactual when both antecedent and consequent happen to be true. Lewis has suggested a possible remedy to this situation, but commentators have found this to be unsatisfactory. I suggest an alternative solution which involves a modification of Lewis's truth conditions, but which confines itself to the resources already present in his account. This modification involves the device of embedding one counterfactual within another. On the revised set of truth conditions, counterfactuals with true components are sometimes true and sometimes false, in a way that is more in keeping with our intuitive judgments about such statements.     

DISJUNCTIVE PROPERTIES AND CAUSAL EFFICACY

Philosophical Studies -