This paper is an experiment in collective writing conducted in Autumn 2019 at the Faculty of Education at Beijing Normal University. The experiment involves 12 international masters' students readi...

In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a “core set” of the so-called “reduction axioms”. In this paper, by designing non-standard Kripke semantics for the language of PAL, we show that the proof system based on this core set of axioms does not completely axiomatize PAL without additional axioms and rules. In fact, many of the intuitive axioms and rules we took for granted could not be derived from the (...) core set. Moreover, we also propose and advocate an alternative yet meaningful axiomatization of PAL without the reduction axioms. The completeness is proved directly by a detour method using the canonical model where announcements are treated as merely labels for modalities as in normal modal logics. This new axiomatization and its completeness proof may sharpen our understanding of PAL and can be adapted to other dynamic epistemic logics. (shrink)

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {K}}{}\textit{y}}_i$$\end{document} operator into the language of epistemic logic to express “agent i knows why φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices. (shrink)

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...) proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)

Epistemic logic has become a major field of philosophical logic ever since the groundbreaking work by Hintikka [58]. Despite its various successful applications in theoretical computer science, AI, and game theory, the technical development of the field has been mainly focusing on the propositional part, i.e., the propositional modal logics of “knowing that”. However, knowledge is expressed in everyday life by using various other locutions such as “knowing whether”, “knowing what”, “knowing how” and so on (knowing-wh hereafter). Such knowledge expressions (...) are better captured in quantified epistemic logic, as was already discussed by Hintikka [58] and his sequel works at length. This paper aims to draw the attention back again to such a fascinating but largely neglected topic. We first survey what Hintikka and others did in the literature of quantified epistemic logic, and then advocate a new quantifier-free approach to study the epistemic logics of knowing-wh, which we believe can balance expressivity and complexity, and capture the essential reasoning patterns about knowing-wh. We survey our recent line of work on the epistemic logics of ‘knowing whether”, “knowing what” and “knowing how” to demonstrate the use of this new approach. (shrink)

Business Ethics: A European Review, EarlyView.

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

In this paper, a 3D jerk chaotic system with hidden attractor was explored, and the dissipativity, equilibrium, and stability of this system were investigated. The attractor types, Lyapunov exponents, and Poincare section of the system under different parameters were analyzed. Additionally, a circuit was carried out, and a good similarity between the circuit experimental results and the theoretical analysis testifies the feasibility and practicality of the original system. Furthermore, a robust feedback controller was designed based on the finite-time stability theory, (...) which guarantees the synchronization of 3D jerk master-slave system in finite time and asymptotically converges to the origin. Finally, we also give verification for the discussion in this paper by numerical simulation. (shrink)

As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...) logics. (shrink)

In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed by Boolos (...) (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)

This study examined the relationships of perceived ethical leadership, workplace jealousy, and organizational citizenship behaviors directed at individuals and organizations. Survey responses were collected from 491 employee-coworker pairs from 33 hospitals in Taiwan. The employees provided assessments of their perceived ethical leadership and the workplace jealousy they experienced, while the coworkers provided information about the employees’ OCBI and OCBO. In the hypotheses testing, perceived ethical leadership was found to be negatively related to employees’ workplace jealousy and jealousy was negatively related (...) to their OCBI and OCBO. Workplace jealousy partially mediated the effect of ethical leadership on OCBI and OCBO. In addition, perceived ethical leadership was found to have a moderation effect on the jealousy-OCBI/ocbo relationship. This study contributes to the literature of ethical leadership as well as to the literature of OCB by relating workplace jealousy to OCB and by making sense of the effects of ethical leadership on OCB through the mediation of jealousy and through the moderation of ethical leadership on the jealousy-OCB relationship. (shrink)

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

The existing literature provides conflicting results on the association between firm performance and corporate social responsibility (CSR) disclosure. This paper empirically examines the effect of firm performance on CSR disclosure in terms of disclosure frequency and quality among Chinese listed firms and the possible mediating effect of corporate ownership on the relationship between firm performance and CSR disclosure. Our findings show that better-performing firms are more likely than worse-performing ones to disclose CSR information and to produce higher quality CSR reports. (...) In addition, the link between firm performance and CSR disclosure is found to be weaker among state-owned enterprises compared with non-state-owned ones. (shrink)

The existing literature provides conflicting results on the association between firm performance and corporate social responsibility (CSR) disclosure. This paper empirically examines the effect of firm performance on CSR disclosure in terms of disclosure frequency and quality among Chinese listed firms and the possible mediating effect of corporate ownership on the relationship between firm performance and CSR disclosure. Our findings show that better‐performing firms are more likely than worse‐performing ones to disclose CSR information and to produce higher quality CSR reports. (...) In addition, the link between firm performance and CSR disclosure is found to be weaker among state‐owned enterprises compared with non‐state‐owned ones. (shrink)

Two types of guanxi have a close association with auditor independence in China: firm-level connections derived from state ownership and personal connections developed through management affiliations with external auditors. This article examines the effects of these two types of connection and their joint effect on audit quality. We find that state ownership and management affiliations with the external auditor both increase the probability of receiving a clean audit opinion in China. Furthermore, the probability increment brought by management affiliations for non-state-owned (...) enterprises (NSOEs) is greater than that for state-owned enterprises (SOEs). These results suggest that state ownership and management affiliations are two important types of connection that impair auditor independence, and that management affiliations are of greater importance to private-sector firms than to SOEs. (shrink)

A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a formula that becomes true when announced. We investigate true lies and other types of interaction between announced formulas, their preconditions and their postconditions, in the setting of Gerbrandy’s logic of believed announcements, wherein agents may have or obtain incorrect beliefs. Our results are on the satisfiability and validity of instantiations of these semantically (...) defined categories, on iterated announcements, including arbitrarily often iterated announcements, and on syntactic characterization. We close with results for iterated announcements in the logic of knowledge, and for lying as private announcements to different agents. Detailed examples illustrate our lying concepts. (shrink)

We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...) of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes such games interesting, and how lying is put to use in optimal strategies for playing the game. Finally, we give a matching logical analysis. Our running example of lying in games in liar’s dice. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief change as (...) relation substitution, and we show that the update part of this logic is more expressive than either that of LCC or that of doxastic/epistemic PDL with a belief change modality. It is shown that the properties of knowledge and belief are preserved under any update, and that the logic is complete. © 2008 Springer-Verlag Berlin Heidelberg. (shrink)

In this study, we investigated the integration between neuroscience and entrepreneurship. First, we explored the concept of neuroentrepreneurship and the investigation of neuroentrepreneurship using scientific research methods. Second, we constructed a road map for entrepreneurial researchers interested in conducting neuroentrepreneurship-related research. This is an emerging research area; therefore, to more clearly analyze the dynamics of the research trends, we used a bibliometric method to capture patterns in current publications on subjects related to neuroentrepreneurship, examining papers published between 1999 and 2021 (...) using the keywords “neuroscience” and “entrepreneurship” or “neuroentrepreneurship.” To identify the keywords, we used two academic databases—the Social Science Citation Index and Science Citation Index—accessed through the Web of Science website. The three keywords were identified from studies integrating neuroscience with entrepreneurship. After carefully reviewing the research papers, we identified neuroentrepreneurship as a novel research area. The outcomes of this study provide a guide for describing the theoretical connection between neuroscience and entrepreneurship. In the future, this field of study should be empirically investigated. (shrink)

Compare with other professions, teachers are reported to have a higher risk of poor mental health. This study examined the relationships between emotional intelligence, perceived organizational justice, and mental health among Chinese high school teachers. Three hundred and eighty-one high school teachers, with their age range between 21 and 50 years, were administered the Emotional Intelligence Scale, Perceived Organizational Justice Scale, and Mental Health Scale. The result found that emotional intelligence and perceived organizational justice directly influence the mental health of (...) high school teachers. In addition, perceived organizational justice mediated the association between emotional intelligence and mental health. Moreover, the present study analyzes the different role of subtypes of perceived organizational justice on the relationships between emotional intelligence and mental health, and the results showed that the mediating effects of perceived distributive justice and interactive justice on emotional intelligence and mental health are not significant, only the perceived procedural justice mediated the relationships between emotional intelligence and teachers’ mental health. The results are discussed in a conceptual context. (shrink)

At present, scholars have mainly focused on the individual-level influencing factors of constructive deviance, and few studies have concerned the motivating mechanism of empowering leadership on constructive deviance. Based on the conservation of resources theory, this study explored the cross-level influence of empowering leadership on constructive deviance in the Chinese cultural context. With the data of 85 leaders and 383 paired employees which were collected in two waves with one-month time lag, the results demonstrated that empowering leadership motivated employees to (...) actively implement constructive deviance, and that organization-based self-esteem played a mediating role in the relationship. The high traditionality of employees weakened not only the positive effect of organization-based self-esteem on constructive deviance, but also the mediating role of organization-based self-esteem. This study lays a theoretical basis and provides some practical guidance for leaders to take effective empowerment strategies to motivate employees to engage in constructive deviance. (shrink)

Understanding the role of teachers’ facial expressions in students’ learning is helpful to improve online teaching. Therefore, this study explored the effects of teacher’s facial expressions on students’ learning through analyzing three groups of video lectures. Participants were 78 students enrolled in three groups: one with an enhanced-expression teacher, one with a conventional-expression teacher, and one with the teacher’s audio only. ANOVA was used to explore whether video lectures instructed by the enhanced-expression teacher were better than those instructed by the (...) conventional-expression teacher and the audio-only teacher for facilitating students’ learning, and what is the role of the teacher’s emotions in students’ perceived social presence, arousal level, cognitive load, and learning. The results showed that the video lecture by the enhanced-expression teacher was better than those with the conventional-expression teacher and with the audio-only for facilitating students’ social presence, arousal level, and long-term learning. Interestingly, it was found that the teacher’s emotions could relieve students’ cognitive load. These results explained the inconsistency of existing studies by exploring the mechanism of teachers’ emotions in students’ learning. It also provides teachers with practical guidance for video lecture design. (shrink)

This study aims to explore effective ways to improve college students’ entrepreneurial self-efficacy and intentions through entrepreneurship education. The survey used a random sample of 804 college students in Zhejiang Province, China. The results show that: In terms of the characteristics of entrepreneurial intention, there are significant differences in gender, entrepreneurial experience, entrepreneurial competition experience, and family background of self-employment. There are significant differences in the characteristics of entrepreneurship education in gender, entrepreneurial competition experience, and the family background of self-employment. (...) In the relationship among entrepreneurship education, entrepreneurial self-efficacy, and entrepreneurial intention, entrepreneurship education is significantly and positively related to entrepreneurial self-efficacy and entrepreneurial intention. Entrepreneurial self-efficacy is significantly and positively associated with entrepreneurial intention. Entrepreneurial self-efficacy plays a complete mediating role between entrepreneurship education and entrepreneurial intention. Entrepreneurial self-efficacy also has a suppressing effect on the relationship between the two. Entrepreneurial competition experience moderates the second half of the mediating effect of entrepreneurial self-efficacy. Finally, the study offers several proposals for the teaching practice of entrepreneurship education. (shrink)

Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x◻φ, e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this work, we (...) propose a very general and powerful framework based on quantifier-free predicate language extended by a new modality, which packs exactly ∃x◻ together. We show that the resulting language, though much more expressive, shares many good properties of the basic propositional modal logic over arbitrary models, such as finite-tree-model property and van Benthem-like characterization w.r.t.\ first-order modal logic. We axiomatize the logic over S5 frames with intuitive axioms to capture the interaction between the new modality and know-that operator in an epistemic setting. (shrink)

Background:Doctors should disclose the diagnosis to patients according to the principle of autonomy. However, not disclosing the diagnosis and prognosis to cancer patients remains common in mainland China.Objective:The study explored the experiences and attitudes of patients with cancer, family members, and the medical staff in truth-telling.Research design:A quantitative survey with three closed-ended questionnaires was conducted.Participants:In all, 137 patients with cancer, 134 family members caring for cancer cases, and 54 medical staff were surveyed. Descriptive statistics were used to summarize all characteristics, (...) and the chi-square test was performed to analyze group differences in attitudes toward cancer disclosure.Ethical considerations:This study was approved by the Committee on Ethics of Biomedicine Research, at the Second Military Medical University (HJEC-2018-YF-001). Informed consent was obtained from all participants prior to study commencement.Findings:A total of 59.8% of patients were informed about their diagnosis within 1 week, and 19.7% inferred theirs. The medical staff preferred to prioritize family members in informing about patient diagnosis while 77.4% of patients preferred to be told the whole truth at the time of initial diagnosis. More patients than family members and medical staff wanted the patients to be informed about the diagnosis ( p < 0.001). A significant difference was found between the patients and family members regarding who should tell the patients.Discussion:The willingness of patients in knowing the truth was underestimated by their family members as well as the medical staff. Guessing the truth indirectly may exert negative effects on the patients, and not telling the truth is inappropriate in patients who want to be informed.Conclusion:Disclosure of a cancer diagnosis is a complex process involving medical practice, as well as a range of cultural, ethical, and legal factors. The medical staff should first assess each patient’s willingness in truth-telling and inform about disease diagnosis with respect. Emotional support and comfort from family members are encouraged. Anyone in the patient’s care team, especially nurses, could be integrated in the process of truth-telling. (shrink)

In this article, we present an attempt to reconcile intellectualism and the anti-intellectualist ability account of knowledge-how by reducing “S knows how to F” to, roughly speaking, “S knows that she has the ability to F demonstrated by a concrete way w.” More precisely, “S has a certain ability” is further formalized as the proposition that S can guarantee a certain goal by a concrete way w of some method under some precondition. Having the knowledge of our own ability, we (...) can plan our future actions accordingly, which would not be possible by merely having the ability without knowing it, and this pinpoints the crucial difference between knowledge-how and ability. Our semi-formal account avoids most of the objections to both intellectualism and the anti-intellectualist ability account, and provides a multistage learning process of knowledge-how, which reveals various subtleties. (shrink)

Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.

Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorpórate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with comparisons on technical subtleties that have been employed in different approaches. Also, we study to which degree the use of epistemics is essential for the analysis of security (...) protocols. We look for formal conditions under which knowledge modalities can bring extra expressive power to pure temporal languages. On the other hand, we discuss the cost of the epistemic operators in terms of model checking complexity. (shrink)

The Iowa Gambling Task (IGT) simulates uncertain gains and losses in real life situations and thus is a good measure of uncertain decision making. The role of working memory (WM) in IGT performance still remains unclear. The present study aimed to examine the effect of WM on IGT performance. Three groups of participants matched on gender ratio were randomly assigned to no WM load, low WM load, and high WM load conditions. Initially the three groups did not show significant difference (...) in WM capacity. They finished a modified version of IGT and then their implicit learning effect and explicit cognition on IGT were assessed. Results indicated a linear increasing trend of IGT performance among high WM load, low WM load and no WM load groups; participants in the no WM load and low WM load groups revealed implicit learning effect, while participants in the high WM load group did not; all participants showed explicit cognition on IGT to the same level. These results suggested that participants in the high WM load group showed good explicit cognition to IGT but showed poor performance. This pattern is similar to frontal patients. Further studies should be conducted to explore this issue. (shrink)

Our current work seeks to provide direct empirical evidence on whether Chinese international students’ experiences studying abroad promote dialectical thinking. We collected behavioral data from 258 Chinese international students studying in multiple regions. We found that there was a main effect among the four conditions. More specifically, when primed with studying abroad or typical day, participants were more likely to show tolerance for contradiction by deeming both sides of contradictory scientific statements as convincing and rating them more favorably. Therefore, it (...) is plausible that Chinese international students’ experiences studying abroad promote their dialectical thinking. More work is needed to further this line of research by extending these effects with other measures of dialectical thinking such as perception of interconnectedness and prediction of change, adopting differing paradigms to provide more robust findings, and probing the underlying processes as to why experiences studying abroad promote dialectical thinking. (shrink)

This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity (...) and positive introspection. The logics studied are shown to be decidable based on a filtration construction. (shrink)

Green housing is a new type of building that advocates energy saving and environmental protection. How to stimulate buyers to buy green housing under the background of high cost is the key problem to guide green consumption. First of all, based on the existing literature, the comment of homebuyers was divided into comment quantity, comment quality, comment titer and evaluator credibility. The psychological distance mediation variable was introduced, and three dimensions of time distance, social distance, and space distance were selected (...) to construct the influence model of homebuyer comment on green housing purchase intention. Meanwhile, the concept model was built, and questionnaires were adopted for empirical analysis. On this basis, considering the long-term purchase behavior of buyers, the influence model of homebuyers' second comment on green housing purchase intention with the Hotelling model was established. The results show that comment quality, comment titer, and the credit rating of the evaluator have a positive effect on green housing purchase intention while comment quantity has no significant effect. Psychological distance plays a mediation role between comment quality, comment titer, the credit rating of the evaluator, and green housing purchase intention while having a mediation effect between comment quantity and green housing purchase intention. In the long-term purchase behavior of green housing, psychological distance plays a greater role than price. At last, some suggestions were proposed. (shrink)

There is considerable evidence that the experience of justice is associated with perceived legitimacy of authority, but there has been no research about this association when considering past rather than current fairness. Based on the fairness heuristic theory, we tested the hypothesis that interpersonal justice trajectories positively affect perceived legitimacy of the authority; we also tested whether social class moderated this effect. Community residents rated the authority's fairness on 16 consecutive weeks and rated perceived legitimacy on the 16th week. The (...) results of latent growth modeling showed that the trajectory of interpersonal justice scores leading up to the final week significantly predicted perceived legitimacy, regardless of the current experience of interpersonal fairness. Tests of moderation showed that the legitimacy perceptions of individuals of lower subjective social class were significantly affected by interpersonal justice trajectories, whereas this was not the case among individuals of higher subjective social class. The results are discussed in terms of their implications for research on perceived legitimacy and justice, as well as their implications for understanding social class. (shrink)

The purpose of aesthetic research is to uncover the internal method in human aesthetic behaviors and to answer the following questions: Where do beautiful things come from? Why are things beautiful? What is the reason that some things are beautiful while others are not? How can people derive aesthetic pleasure? Until those fundamental problems are solved, further questions cannot be answered, such as “Why do some people like certain things, while other people like other things?” and “How does human aesthetic (...) taste develop?”The aesthetic study established by the Greek philosophical aesthetician Plato is an ontological approach that suggests that there is something decisive in beautiful things that makes them... (shrink)

In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We show that this new semantics (...) is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition. (shrink)