Kripke semantics for knowledge representation logics

This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.     

Verisimilitude based on concept analysis

In the paper ordering relations for comparison of verisimilitude of theories are introduced and discussed. The relations refer to semantic analysis of the results of theories, in particular to analysis of concepts the theories deal with.     

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.     

Relationships among higher-order strengths factors,subjective well-being,and general self-efficacy – The case of Israeli adolescents

We investigated relationships among five higher-order strengths factors, subjective well-being, and general self-efficacy in participants that live under challenging conditions. Therefore, a sample of 396 Israeli adolescents (aged 13–18 years) completed the Values in Action Inventory of Strengths for Youth, the Satisfaction With Life Scale, the Affect Balance Scale, and the General Self-Efficacy Scale. An orthogonally rotated principal component analysis of the 24 character strengths yielded five strengths factors that explained 32% of the variance in life satisfaction, with the transcendence strengths factor as the most substantial predictor. The strongest predictors of positive affect were the transcendence and leadership strengths factors; the best predictors of negative affect were the transcendence and temperance strengths factors; and the strongest predictor of affect balance was the transcendence strengths factor. The five strengths factors explained 46% of the variance in general self-efficacy, with the leadership strengths factor as the most substantial predictor. Further analysis indicated that general self-efficacy mediated the relationship between leadership strengths and global life satisfaction. The results suggest that different strengths factors are relevant for different positive experiences (e.g., life satisfaction, self-efficacy beliefs). The findings shed light on the contribution of specific character strengths as a meaningful resource under stressful conditions.     

Self‐Disclosure and the Liking of Participants in Reality TV

Reality TV shows are characterized by the very intimate self‐disclosure of their participants early on in the shows. In everyday interactions, however, such intimate self‐disclosure is welcomed only when it evolves gradually. This discrepancy between reality shows and real life apparently contradicts previous research documenting the similarity between real relationships and relationships with media characters. The current research explores this apparent contradiction by examining whether the relationship between self‐disclosure and liking and the rules about the timing of self‐disclosure that apply in everyday interactions apply in reality TV. Study 1 shows that viewers prefer characters who make early intimate disclosures, and Study 2 shows that they prefer this disclosure to evolve gradually and become more intimate, as in real relationships.     

Choice confidence in the webrooming purchase process: The impact of online positive reviews and the motivation to touch

The webrooming purchase process (i.e. searching for information online and then buying the product offline) is the most extended cross‐channel shopping behaviour. With the aim of offering a better understanding of this behaviour, this research relies on information processing and uncertainty reduction theories to propose that consumers use the online information to make the offline purchase with a higher degree of confidence. We examine the effects of a previous online interaction with a product on the preferences and decision at the physical store, as well as on the outcomes of the experience. In this path to purchase, we analyse how positive online customer reviews, as a specific form of electronic word of mouth, help the consumer to improve their experience, given their great potential to reduce the consumer's uncertainty in a purchase situation. In addition, the role of the motivation to touch the product is examined. The results of two studies show that the combination of an online search and an offline purchase improves the consumers' purchase experience in pre‐choice variables (i.e. purchase intentions), choice and post‐choice variables (i.e. search‐process satisfaction and choice confidence). Moreover, reading a positive online customer review influences choice confidence, and all the variables considered in the research when it is received at the physical store. Finally, the results stress the importance of the motivation to touch when studying multichannel shopping behaviour, given its direct and moderating effects on the webrooming purchase process. Implications for theory and practice are discussed. Copyright © 2016 John Wiley & Sons, Ltd.     

“Caught in the Same Webs”<Emphasis Type="Italic">—</Emphasis>Service Providers’ Insights on Gender-Based and Structural Violence Among Female Temporary Foreign Workers in Canada

Drawing on the experiences of service providers supporting live-in caregivers and migrant agricultural workers in two Canadian provinces (Ontario and Quebec), we explore how structural violence shapes the precarious conditions of female temporary foreign workers. Service providers emphasized how transnational social pressures on women to maintain employment, the captivity involved in women’s employment contracts, the limits on unionization, and women’s isolation and lack of privacy, act together to create an unbalanced relationship between the employer and female worker. In turn, this leads to precarious migration and work conditions that foster a vulnerability to violence and abuse while at the same time limiting access to and delivery of services and social support to female temporary foreign workers. Amid these restrictions, service providers focus on making a difference where they can through initiatives such as human rights education workshops, offering support, understanding Canadian regulation, and empowerment workshops. Greater Canadian national options for permanent residency status could provide a basis for adequate services to temporary foreign workers as part of their universal human rights. Temporary foreign workers contribute to Canadian society, making it encumbant upon the Canadian state to ensure the respect of their universal human rights.