Moses' “Revelation” on Mount Horeb as a near-death experience

Moses, the leader and lawgiver to the people of Israel, went through a metamorphosis during his stay in the Sinai Desert, which can be explained as a near-death or near-death-like experience. Moses saw and heard God in the burning bush and yet survived. Following his revelation, he reached a higher level of consciousness, which enabled personality changes to occur. From being a simple shepherd of his father-in-law's flock, he turned into a prophet and charismatic leader of his people.     

A Meta-model of Access Control in a Fibred Security Language

The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be developed for domain-specific applications. We will argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological shift from a study of the particulars of access control to its generalities.     

Modal Provability Foundations for Argumentation Networks

Given an argumentation network we associate with it a modal formula representing the ‘logical content’ of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.     

Fibred Security Language

We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic.     

Culture, memory, and the self: An analysis of the personal and collective self in long-term memory

We used a memory paradigm to test whether the nature of representations of the self within long-term memory differed as a function of cultural background. In Western samples words encoded in relation to the self are typically remembered better, and Euro-Canadian participants here showed this standard self-reference effect. However, Asian-Canadian participants were slower to recognize personal traits (as opposed to collective traits) when these traits had been encoded in reference to the self, suggesting a more elaborate representation of the collective self than the personal self in long-term memory. Further, memory was actually inhibited for Asian-Canadians when personal traits were encoded in reference to the self (vs. encoded with other referents). Differences in long-term memory trace strength for self-related data may emerge even as differences in the working self do not, and implications of this difference are discussed.     

Hemispheric sensitivities to lexical and contextual information: evidence from lexical ambiguity resolution

The present study examined the manner in which both hemispheres utilize prior semantic context and relative meaning frequency during the processing of homographs. Participants read sentences biased toward the dominant or the subordinate meaning of their final homograph, or unbiased neutral sentences, and performed a lexical decision task on lateralized targets presented 250ms after the onset of the sentence-final ambiguous prime. Targets were either related to the dominant or the subordinate meaning of the preceding homograph, or unrelated to it. Performance asymmetry was found in the absence of a biasing context: dominant-related targets were exclusively facilitated in the RVF/LH, whereas both dominant- and subordinate-related targets were facilitated in the LVF/RH. Performance symmetry was found in the presence of a biasing context: dominant-related targets were exclusively activated in dominant-biasing contexts, whereas both dominant- and subordinate-related targets were facilitated in subordinate-biasing contexts. The implications of the results for both general and hemispheric models of word processing are discussed.     

Importance of life domains in different cultural groups

This study assessed the role of individualism and collectivism in the shaping of personal values of Canadians, Israelis, and Palestinians. Based on Sagie and Elizur's (1996) multifaceted approach, we distinguished personal values that are individual centered (i.e., associated with one's home, family, or work) from collective-centered values (i.e., associated with the religion, sports, or politics). The magnitude of the difference between both value types differs according to cultural orientation. As compared with Palestinians, we predicted that Canadians and Israelis would rank individual-centered values higher and collective-centered values lower. Data obtained from samples of Palestinians, Israelis, and Canadians supported this hypothesis.     

Transformational leadership and group interaction as climate antecedents: a social network analysis

In order to test the social mechanisms through which organizational climate emerges, this article introduces a model that combines transformational leadership and social interaction as antecedents of climate strength (i.e., the degree of within-unit agreement about climate perceptions). Despite their longstanding status as primary variables, both antecedents have received limited empirical research. The sample consisted of 45 platoons of infantry soldiers from 5 different brigades, using safety climate as the exemplar. Results indicate a partially mediated model between transformational leadership and climate strength, with density of group communication network as the mediating variable. In addition, the results showed independent effects for group centralization of the communication and friendship networks, which exerted incremental effects on climate strength over transformational leadership. Whereas centralization of the communication network was found to be negatively related to climate strength, centralization of the friendship network was positively related to it. Theoretical and practical implications are discussed.     

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. Presented by Wojciech Buszkowski