Order:
Disambiguations
Yanjing Wang [23]Yan Wang [13]Yang-Ming Wang [9]Yangming Wang [6]
Yanguang Wang [4]Yanhui Wang [3]Yan-Guang Wang [2]Yang Wang [2]

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

See also
  1.  58
    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 (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2. Epistemic Modelling and Protocol Dynamics.Yanjing Wang - 2010 - Dissertation, University of Amsterdam
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  3. 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   5 citations  
  4.  42
    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   6 citations  
  5.  8
    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   2 citations  
  6.  75
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  9
    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  
  8. 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  
  9.  30
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Beyond Knowing That: A New Generation of Epistemic Logics.Yanjing Wang - 2018 - In Hans Van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer. pp. 499-533.
    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 (...)
     
    Export citation  
     
    Bookmark   1 citation  
  11. 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   6 citations  
  12.  3
    Conditionally Knowing What.Yanjing Wang & Jie Fan - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 569-587.
  13.  18
    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.
  14.  12
    Reservoir Prediction in a Development Area with a High-Density Well Pattern Using Seismic Sedimentology: An Example From the BB2 Block, Changyuan LMD Oil Field, Songliao Basin, China.Shunguo Cheng, Yan Jiang, Jie Li, Cao Li, Yanhui Wang & Liheng Xu - 2015 - Interpretation: SEG 3 (3):SS87-SS99.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  41
    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   1 citation  
  16.  52
    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   3 citations  
  17.  3
    Almost Mecessary.Jie Fan, Yanjing Wang & Hans van Ditmarsch - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 178-196.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  18. 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..
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  19.  8
    "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.
  20.  10
    Can We Distinguish Emotions From Faces? Investigation of Implicit and Explicit Processes of Peak Facial Expressions.Ruiqi Xiao, Xianchun Li, Lin Li & Yanmei Wang - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  29
    Dimensionality of ICA in Resting-State fMRI Investigated by Feature Optimized Classification of Independent Components with SVM.Yanlu Wang & Tie-Qiang Li - 2015 - Frontiers in Human Neuroscience 9.
  22.  58
    Composing Models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.
    • We study a new composition operation on (epistemic) multiagent models and update actions that takes vocabulary extensions into account.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  17
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  8
    Golgi Defects Enhance APP Amyloidogenic Processing in Alzheimer's Disease.Gunjan Joshi & Yanzhuang Wang - 2015 - Bioessays 37 (3):240-247.
    Increased amyloid beta (Aβ) production by sequential cleavage of the amyloid precursor protein (APP) by the β‐ and γ‐secretases contributes to the etiological basis of Alzheimer's disease (AD). This process requires APP and the secretases to be in the same subcellular compartments, such as the endosomes. Since all membrane organelles in the endomembrane system are kinetically and functionally linked, any defects in the trafficking and sorting machinery would be expected to change the functional properties of the whole system. The Golgi (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  9
    Value Changes in an Era of Social Transformations: College‐Educated Chinese Youth.Yan Wang - 2006 - Educational Studies 32 (2):233-240.
    This paper addresses value changes that have occurred to college?educated youth as China is going through drastic social transformations under Western influences. It explains how socio?economic and cultural forces interplay within a particular historical and political context in bringing about such notable changes as individualism, materialism and moral crisis. Through exploring young people's perceptions of the relative status of China versus the West, represented by the USA, the paper reveals a collective inferiority complex and resulting dislocation of cultural identities, manifested (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  13
    Predicting Protein Interactions Using a Deep Learning Method-Stacked Sparse Autoencoder Combined with a Probabilistic Classification Vector Machine.Yanbin Wang, Zhuhong You, Liping Li, Li Cheng, Xi Zhou, Libo Zhang, Xiao Li & Tonghai Jiang - 2018 - Complexity 2018:1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Instructions for Practical Living, and Other Neo-Confucian Writing.Yangming Wang - 1963 - New York: Columbia University Press.
  28.  39
    True Lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2013 - 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  
  29.  4
    Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.Yanjing Wang & Yanjun Li - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 559-580.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  19
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    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   1 citation  
  32.  10
    Aids, Policy and Bioethics: Ethical Dilemmas Facing China in HIV Prevention.Yan-Guang Wang - 1997 - Bioethics 11 (3-4):323-327.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  23
    Learning to Dislike Chocolate: Conditioning Negative Attitudes Toward Chocolate and Its Effect on Chocolate Consumption.Yan Wang, Guosen Wang, Dingyuan Zhang, Lei Wang, Xianghua Cui, Jinglei Zhu & Yuan Fang - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34. The Philosophical Letters of Wang Yang-Ming.Yangming Wang - 1972 - Columbia, University of South Carolina Press.
     
    Export citation  
     
    Bookmark   3 citations  
  35.  7
    True Lies.Yanjing Wang, Hans Ditmarsch & Thomas Ågotnes - 2013 - 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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  16
    The Experiences of Chinese Mainland Students with English-Medium Instruction in a Macau University.Yan Wang, Shulin Yu & Yanju Shao - 2017 - Educational Studies 44 (3):357-360.
    While research on English-medium instruction has proliferated in the past decades, little research has examined how students from a monolingual background actually experience EMI, or the learning processes involved in such experiences. Drawing upon in-depth interviews and student reflection journals, this study examines the experiences of Chinese university students currently studying in an EMI university in Macau. The findings show that while the students were satisfied with their learning in the EMI context, and they all expressed a perceived necessity for (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  4
    Energy Distribution of Weak Deformed Rock Mass and its Influence on Gas Well Productivity.Shuai Yin, Yi Wang, Jingzhou Zhao, Yan Wang, Weitao Wu & Tebo Yang - 2019 - Interpretation 7 (2):T423-T435.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  6
    An R-Order Finite-Time State Observer for Reaction-Diffusion Genetic Regulatory Networks with Time-Varying Delays.Xiaofei Fan, Yantao Wang, Ligang Wu & Xian Zhang - 2018 - Complexity 2018:1-15.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    Introducing Interpreting Studies.Yanqiang Wang - 2019 - Perspectives 27 (1):165-167.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  4
    The N1–N2–LPC Pattern in Processing Advertising Pictorial Metaphors: An ERP Study.Shuo Cao, Yanzhang Wang, Hongjun Chen & Huili Wang - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  22
    Studying Sub-Dendrograms of Resting-State Functional Networks with Voxel-Wise Hierarchical Clustering.Yanlu Wang, Mussie Msghina & Tie-Qiang Li - 2016 - Frontiers in Human Neuroscience 10.
  42.  50
    A Strategy of Clinical Tolerance for the Prevention of Hiv and Aids in China.Yanguang Wang - 2000 - Journal of Medicine and Philosophy 25 (1):48 – 61.
    HIV infection and AIDS create many dilemmas in Chinese AIDS/HIV prevention policy. A strategy of clinical tolerance is proposed to address these dilemmas. The immediate purpose of the strategy of clinical tolerance is to win the cooperation of members of stigmatized groups at high risk for contracting HIV infection and AIDS, which occurs as a result of acts done in private and thus beyond the reach of regulation. The strategy of clinical tolerance differs from both tolerance as liberal tolerance and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    How Do I Narrate My Marriage: The Relationship Between Attachment Orientation and Quality of Autobiographical Memory.Yan Wang, Qianrong Wang, Dahua Wang & Brooke C. Feeney - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  10
    The Effects of Cognitive Reappraisal and Expressive Suppression on Memory of Emotional Pictures.Yan Mei Wang, Jie Chen & Ben Yue Han - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  11
    Valence Evaluation with Approaching or Withdrawing Cues: Directly Testing Valence–Arousal Conflict Theory.Yan Mei Wang, Ting Li & Lin Li - 2017 - Cognition and Emotion 32 (4):904-912.
    The valence–arousal conflict theory assumes that both valence and arousal will trigger approaching or withdrawing tendencies. It also predicts that the speed of processing emotional stimuli will depend on whether valence and arousal trigger conflicting or congruent motivational tendencies. However, most previous studies have provided evidence of the interaction between valence and arousal only, and have not provided direct proof of the interactive links between valence, arousal and motivational tendencies. The present study provides direct evidence for the relationship between approach–withdrawal (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  3
    An RGB-D-Based Cross-Field of View Pose Estimation System for a Free Flight Target in a Wind Tunnel.Sheng Liu, Yuan Feng, Kang Shen, Yangqing Wang & Shengyong Chen - 2018 - Complexity 2018:1-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  23
    The Identification of Risk Factors for Infectious Patients with Acute Fever and Formulation of Activation Criteria to Alert Outpatient Clinic Doctors.Hongli Xiao, Haiyu Qi, Xingwang Li, Jing Wang, Xiaoli Li, Suxia Ma, Zongli Diao, Yan Wang, Fangfang Sun & Chenghong Yin - 2010 - Journal of Evaluation in Clinical Practice 16 (6):1248-1253.
  48.  8
    D-Efficient or Deficient? A Robustness Analysis of Stated Choice Experimental Designs.Joan L. Walker, Yanqiao Wang, Mikkel Thorhauge & Moshe Ben-Akiva - 2018 - Theory and Decision 84 (2):215-238.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    Hypnotic and Non-Hypnotic Suggestion to Ignore Pre-Cues Decreases Space-Valence Congruency Effects in Highly Hypnotizable Individuals.Ya Zhang, Yan Wang & Yixuan Ku - 2018 - Consciousness and Cognition 65:293-303.
  50.  2
    Sophisticated Deception in Junior Middle School Students: An ERP Study.Haizhou Leng, Yanrong Wang, Qian Li, Lizhu Yang & Yan Sun - 2019 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 63