147 found
Order:
Disambiguations
Yanjing Wang [38]Yan Wang [32]Yang Wang [23]Yangming Wang [20]
Yanguang Wang [8]Yang-Ming Wang [7]Yanmei Wang [3]Yanli Wang [3]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  98
    On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  2. Contingency and Knowing Whether.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2015 - Review of Symbolic Logic 8 (1):75-107.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  3. A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.
    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} (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  93
    A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  5. Epistemic Modelling and Protocol Dynamics.Yanjing Wang - 2010 - Dissertation, University of Amsterdam
     
    Export citation  
     
    Bookmark   16 citations  
  6.  30
    Humble Leadership, Psychological Safety, Knowledge Sharing, and Follower Creativity: A Cross-Level Investigation.Yanfei Wang, Jieqiong Liu & Yu Zhu - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  29
    The consequences of employees’ perceived corporate social responsibility: A meta‐analysis.Yanling Wang, Shan Xu & Yanxia Wang - 2020 - Business Ethics: A European Review 29 (3):471-496.
    Business Ethics: A European Review, EarlyView.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  36
    Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.
  9.  36
    Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (2):450-486.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. A comprehensive update on CIDO: the community-based coronavirus infectious disease ontology.Yongqun He, Hong Yu, Anthony Huffman, Asiyah Yu Lin, Darren A. Natale, John Beverley, Ling Zheng, Yehoshua Perl, Zhigang Wang, Yingtong Liu, Edison Ong, Yang Wang, Philip Huang, Long Tran, Jinyang Du, Zalan Shah, Easheta Shah, Roshan Desai, Hsin-hui Huang, Yujia Tian, Eric Merrell, William D. Duncan, Sivaram Arabandi, Lynn M. Schriml, Jie Zheng, Anna Maria Masci, Liwei Wang, Hongfang Liu, Fatima Zohra Smaili, Robert Hoehndorf, Zoë May Pendlington, Paola Roncaglia, Xianwei Ye, Jiangan Xie, Yi-Wei Tang, Xiaolin Yang, Suyuan Peng, Luxia Zhang, Luonan Chen, Junguk Hur, Gilbert S. Omenn, Brian Athey & Barry Smith - 2022 - Journal of Biomedical Semantics 13 (1):25.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  43
    Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
  12.  30
    Dynamic Analysis and Robust Control of a Chaotic System with Hidden Attractor.Huaigu Tian, Zhen Wang, Peijun Zhang, Mingshu Chen & Yang Wang - 2021 - Complexity 2021:1-11.
    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, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14. CIDO, a community-based ontology for coronavirus disease knowledge and data integration, sharing, and analysis.Oliver He, John Beverley, Gilbert S. Omenn, Barry Smith, Brian Athey, Luonan Chen, Xiaolin Yang, Junguk Hur, Hsin-hui Huang, Anthony Huffman, Yingtong Liu, Yang Wang, Edison Ong & Hong Yu - 2020 - Scientific Data 181 (7):5.
    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, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  44
    Almost Mecessary.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 178-196.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  16.  37
    Instructions for practical living, and other Neo-Confucian writing.Yangming Wang - 1963 - New York,: Columbia University Press.
  17.  85
    True lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  41
    Depletion, moral identity, and unethical behavior: Why people behave unethically after self-control exertion.Yan Wang, Guosen Wang, Qiuju Chen & Lin Li - 2017 - Consciousness and Cognition 56:188-198.
  19.  37
    Conditionally Knowing What.Yanjing Wang & Jie Fan - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 569-587.
  20. Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  69
    Inquisitive logic as an epistemic logic of knowing how.Haoyu Wang, Yanjing Wang & Yunsong Wang - 2022 - Annals of Pure and Applied Logic 173 (10):103145.
  22. CIDO: The Community-Based Coronavirus Infectious Disease Ontology.Yongqun He, Hong Yu, Edison Ong, Yang Wang, Yingtong Liu, Anthony Huffman, Hsin-hui Huang, Beverley John, Asiyah Yu Lin, Duncan William D., Sivaram Arabandi, Jiangan Xie, Junguk Hur, Xiaolin Yang, Luonan Chen, Gilbert S. Omenn, Brian Athey & Barry Smith - 2021 - Proceedings of the 11th International Conference on Biomedical Ontologies (ICBO) and 10th Workshop on Ontologies and Data in Life Sciences (ODLS).
    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). (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. On the logic of lying.Hans van Ditmarsch, Jan van Eijck & Yanjing Wang - unknown
    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 (...)
     
    Export citation  
     
    Bookmark   10 citations  
  24.  49
    Mereological Bimodal Logics.Li Dazhu & Yanjing Wang - 2022 - Review of Symbolic Logic 15 (4):823-858.
    In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting,$\Box \varphi $readsall the parts(of the current object)are$\varphi $, interpreted on the models with awhole-partbinary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system of mereology by providing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
    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 (...)
     
    Export citation  
     
    Bookmark   6 citations  
  26.  28
    Integration of Neuroscience and Entrepreneurship: A Systematic Review and Bibliometric Analysis.Weiwei Liu, Yimeng Xu, Tiantian Xu, Zijian Ye, Jiani Yang & Yan Wang - 2022 - Frontiers in Psychology 13.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  27
    Entrepreneurship Education and Entrepreneurial Intentions of College Students: The Mediating Role of Entrepreneurial Self-Efficacy and the Moderating Role of Entrepreneurial Competition Experience.Lihao Wu, Suo Jiang, Xiaomin Wang, Linwei Yu, Yansu Wang & Hui Pan - 2022 - Frontiers in Psychology 12.
    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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  48
    "Knowing value" logic as a normal modal logic.Tao Gu & Yanjing Wang - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 362-381.
  29.  24
    Linking Emotional Intelligence to Mental Health in Chinese High School Teachers: The Mediating Role of Perceived Organizational Justice.Sha Shen, Tianqi Tang, Hong Shu, Saidi Wang, Xiangli Guan, Xiangdong Yan, Yanli Wang, Yun Qi & Rui Feng - 2022 - Frontiers in Psychology 12.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  10
    Cross-Level Influence of Empowering Leadership on Constructive Deviance: The Different Roles of Organization-Based Self-Esteem and Traditionality.Yanzi Wang - 2022 - Frontiers in Psychology 12.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  14
    To Be Expressive or Not: The Role of Teachers’ Emotions in Students’ Learning.Yang Wang - 2022 - Frontiers in Psychology 12.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  31
    Differences in practice and preferences associated with truth-telling to cancer patients.Jing Wu, Yan Wang, Xiaodong Jiao, Jingting Wang, Xuchun Ye & Bei Wang - 2021 - Nursing Ethics 28 (2):272-281.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  20
    A dynamic epistemic framework for reasoning about conformant probabilistic plans.Yanjun Li, Barteld Kooi & Yanjing Wang - 2019 - Artificial Intelligence 268 (C):54-84.
  34. Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  67
    Knowing Your Ability.Tszyuen Lau & Yanjing Wang - 2016 - Philosophical Forum 47 (3-4):415-423.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  41
    Neighborhood semantics for logic of knowing how.Yanjun Li & Yanjing Wang - 2021 - Synthese 199 (3-4):8611-8639.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  21
    Do Experiences Studying Abroad Promote Dialectical Thinking? Empirical Evidence From Chinese International Students.Xiaomeng Hu, Yang Wang, Shanhui Liao & Kaiping Peng - 2021 - Frontiers in Psychology 12.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  28
    Effect of Homebuyer Comment on Green Housing Purchase Intention—Mediation Role of Psychological Distance.Qun Feng, Yan Wang, Chuanhao Chen, Zhengnan Dong & Xuejun Shi - 2021 - Frontiers in Psychology 12.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  27
    Dynamic Analysis and Degenerate Hopf Bifurcation-Based Feedback Control of a Conservative Chaotic System and Its Circuit Simulation.Xiaojuan Zhang, Mingshu Chen, Yang Wang, Huaigu Tian & Zhen Wang - 2021 - Complexity 2021:1-15.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  14
    Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.Yifeng Ding, Jixin Liu & Yanjing Wang - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 58-72.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  46
    Aesthetic Cognitive Module Theory: A Core Structure.Zhihong Li, Yanhui Wang & Fanjun Meng - 2018 - Journal of Aesthetic Education 52 (2):71.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  24
    System Reliability Assessment Based on Failure Propagation Processes.Shuai Lin, Yanhui Wang & Limin Jia - 2018 - Complexity 2018:1-19.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  26
    Robust Synchronization of Class Chaotic Systems Using Novel Time-Varying Gain Disturbance Observer-Based Sliding Mode Control.Yang Wang, Zhen Wang & Lingyun Kong - 2021 - Complexity 2021:1-14.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  30
    Are Recycling People Also Saving? Costliness Matters.Sheng Wei, Jiaqi Xu, Shengxiang She, Yan Wang & Ying Zhang - 2021 - Frontiers in Psychology 11.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  63
    A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Logic of Information Flow on Communi- cation Channels.Yanjing Wang & Jan van Eijck - unknown
    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..
     
    Export citation  
     
    Bookmark   4 citations  
  48.  15
    Verifying epistemic protocols under common knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.
    Epistemic protocols are communication protocols aiming at transfer of knowledge in a controlled way. Typically, the preconditions or goals for protocol actions depend on the knowledge of agents, often in nested form. Informal epistemic protocol descriptions for muddy children, coordinated attack, dining cryptographers, Russian cards, secret key exchange are well known. The contribution of this paper is a formal study of a natural requirement on epistemic protocols, that the contents of the protocol can be assumed to be common knowledge. By (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  29
    (1 other version)The philosophical letters of Wang Yang-ming.Yangming Wang - 1972 - Columbia,: University of South Carolina Press. Edited by Julia Ching.
    Wang Yang-ming (1472-1529) was a Neo-Confucian philosopher of the Ming Era, whose thoughts have had a profound influence in China, Japan, Korea, and Vietnam. This translation contains sixty-seven letters, thirty-one more than previously translated, which help reveal the philosophy of the great Chinese thinker. Included are a preface with background information, critical annotations and references, bibliography, and a glossary of Chinese and Japanese words. The book is an important contribution to the literature of Chinese philosophy, knowledge of which assists our (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  14
    Do You Feel the Same as I Do? Differences in Virtual Reality Technology Experience and Acceptance Between Elderly Adults and College Students.Qian Liu, Yanyun Wang, Qingyang Tang & Ziwei Liu - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 147