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 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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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.

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)

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)

For synchronization of a class of chaotic systems in the presence of nonvanishing uncertainties, a novel time-varying gain observer-based sliding mode control is proposed. First, a novel time-varying gain disturbance observer is developed to estimate the uncertainties. Then, by using the output of TVGDO to modify sliding mode control, a new TVGDO-based SMC scheme is developed. Although the observation and control precision of conventional fixed gain disturbance observer-based control for chaotic systems can be guaranteed by a high observer gain, the (...) undesirable spike problem may be caused by the high gain if the initial values of estimate and true states are not equal. The most attractive feature of this work is that the newly proposed TVGDO can eliminate the spike problem by developing a time-varying gain scheme. Finally, the effectiveness of the proposed method is demonstrated by the numerical simulation. (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)

In view of the fact that vigorously promoting recycling has become a viable means to promote sustainable development, it is important to better understand the impact of recycling efforts on subsequent resource saving behavior. This research empirically examines the effects of recycling efforts on subsequent resource saving by analyzing the survey data of 356 college students in China. The recycling efforts, environmental self-identity and feeling of pride were measured using existing scales while saving behaviors and recycling cost were measured by (...) developing new scales. Partial least squares structural equation modeling was performed to test the structural relationships among recycling efforts, environmental self-identity, feeling of pride, and saving behaviors. Further, the moderation role of recycling cost was tested. The results showed that saving behaviors could be classified into two types based on their costliness; recycling efforts have a positive effect on costless saving behaviors, while having a negative effect on costly saving behaviors; both the positive and negative effect of recycling efforts on resource saving is mediated by pride feeling and environmental self-identity; and recycling cost negatively moderates the effects of recycling efforts on pride feeling. We discuss the theoretical and managerial implications of the findings. (shrink)

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 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)

A novel conservative chaotic system with no equilibrium is investigated in this study. Various dynamics such as the conservativeness, coexistence, symmetry, and invariance are presented. Furthermore, a partial-state feedback control scheme is proposed, and the stable domain of control parameters is analyzed based on the degenerate Hopf bifurcation. In order to verify the numerical simulation analysis, an analog circuit is designed. The simulation results show that the output of the analog circuit system can reproduce the numerical simulation results and verify (...) the correctness of the theoretical analysis. (shrink)

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)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (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)

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)

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)

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)

In this paper1, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS..

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)

• We study a new composition operation on (epistemic) multiagent models and update actions that takes vocabulary extensions into account.

As the most frequently used tool for measuring empathy, the Interpersonal Reactivity Index (IRI) is often scored by researchers arbitrarily and casually. Many commonly used IRI scoring approaches and their corresponding measurement models are unverified, which may make the conclusions of subsequent variable relation studies controversial and even misleading. We make the first effort to summarize these measurement models and to evaluate rationality of the common scoring methods of the IRI by confirmatory factor analysis, focusing on model fitting, factor loading, (...) and model-based reliability simultaneously. The results show that most of these models do not fit well, indicating that the scoring approaches of the IRI corresponding to these models may be problematic. Relatively speaking, better scoring approaches of the IRI include summing empathic concern and perspective taking as the total score of the IRI and reporting the score of perspective taking as cognitive empathy. (shrink)

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. 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, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study. (shrink)