•  88
    Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences
  •  144
    Decreased Intrinsic Functional Connectivity in First-Episode, Drug-Naive Adolescents With Generalized Anxiety Disorder
    with Linlin Fan, Tianyi Zhai, Ying Lin, Yuyin Wang, Junji Ma, Mei Liao, Yan Zhang, Lingjiang Li, Linyan Su, and Zhengjia Dai
    Frontiers in Human Neuroscience 12. 2019.
  •  30
    This essay deploys the joint lenses of branding and space to examine the hegemonic operation of the Apple brand in the global culture industry. It does so by analyzing China’s ‘fake Apple Store’ event in 2011, which began with an American expat blogger’s discovery and subsequently caught the attention of global news media. While copying the look of an official Apple Store, these retailers displayed and sold genuine products originally assembled in China. Probing the cultural logic that gave rise…Read more
  •  7
    Cooperative care as origins of the “happy ape”?
    Behavioral and Brain Sciences 46. 2023.
    Grossmann proposes an interesting framework to explain how heightened fearfulness among humans could be evolutionarily adaptive in the context of cooperative care. I would like to propose that cooperative care may also be a potential mechanism promoting enhanced happiness expression among humans, shedding light on questions about the scope and boundary of the fearful ape hypothesis.
  •  39
    Applying the Virtual Input-Output Method to the Identification of Key Nodes in Busy Traffic Network
    with Fei Yan, Chikun Zhang, Xiaoying Tang, Jianchang Li, Xindan Zhang, and Yingxin Gan
    Complexity 2021 1-7. 2021.
    How to identify the key nodes effectively in urban traffic networks to achieve the equitable resource allocation face to the complex traffic network? This issue needs to be solved in current traffic management. This study considered the urban traffic network topology and network traffic status, put forward an improved model based on the economics of the input-output method by introducing a virtual node to the selected network set up with the flow of urban traffic network, sensor nodes by Leontie…Read more
  •  7
    Despite its association with individual health, few studies have focused on the relationship between adolescent self-control and individual physical and mental health in adulthood. We aimed, therefore, to explore the impact of adolescent self-control on individual physical and mental health in adulthood. We employed the dataset of China Labor-Force Dynamics Surveys [CLDS]. 13,389 respondents with an average age of 45.621 years are consisted in this study. The respondents were asked to report the…Read more
  •  15
    Axiomatizing first order consequences in inclusion logic
    Mathematical Logic Quarterly 66 (2): 195-216. 2020.
    Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed‐point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.
  •  7
    We examine the association between benevolent leadership and team creative performance in scientific research teams. Moreover, the mediating effects of creative self-efficacy and the moderating effects of openness to experience on the relationship were also analyzed. The study sample comprised 251 postgraduates from 58 scientific research teams in Chinese universities. Results revealed that benevolent leadership was positively related to team creative performance, and creative self-efficacy part…Read more
  •  64
    How Do Acquired Political Identities Influence Our Neural Processing toward Others within the Context of a Trust Game?
    with Chien-Te Wu, Ye-Rong Du, Tien-Tun Yang, Ho-Ling Liu, Nai-Shing Yen, Shu-Heng Chen, and Ray-May Hsung
    Frontiers in Human Neuroscience 12. 2018.
  •  11
    Introduction
    with Jouko Väänänen and Philip Scott
    Annals of Pure and Applied Logic 173 (10): 103168. 2022.
  •  28
    The Janus Face of Grandiose Narcissism in the Service Industry: Self-Enhancement and Self-Protection
    with Ran Li and Xiji Zhu
    Journal of Business Ethics 183 (3): 909-927. 2022.
    Narcissism is considered a generally undesirable trait in the workplace, but is this the whole story? In grandiose narcissism, two dimensions (narcissistic rivalry and narcissistic admiration) are recognized corresponding to self-protecting and self-enhancing regulatory processes separately. Applying the self-regulation theory and the conservation of resources theory, we investigated the distinct outcomes and influencing mechanisms of the two dimensions in an organizational context using multile…Read more
  •  8
    Going beyond ourselves: the role of self-transcendent experiences in wisdom
    with Yena Kim and Howard C. Nusbaum
    Cognition and Emotion 37 (1): 98-116. 2023.
    Having good moral character often involves shifting one’s focus of attention from the self to others and the world. Across three studies (N = 605 adults), we found converging evidence that self-transcendent experiences, specifically awe and flow, enabled the expression of wisdom, as captured by wise reasoning and epistemic humility measures. Study 1 found that dispositionally awe- and flow-prone people have stronger wise reasoning and epistemic humility abilities, over and above dispositional ha…Read more
  •  91
    The Multifaceted Effects of Serotonin Transporter Polymorphism (5-HTTLPR) on Anxiety, Implicit Moral Attitudes, and Harmful Behaviors
    with Róger Marcelo Martínez, Chin-Yau Chen, Tsai-Tsen Liao, Yawei Cheng, Shih-Han Chou, and Chenyi Chen
    Frontiers in Psychology 11. 2020.
  •  21
    Complete Logics for Elementary Team Properties
    with Juha Kontinen
    Journal of Symbolic Logic 1-41. forthcoming.
    In this paper, we introduce a logic based on team semantics, called $\mathbf {FOT} $, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of $\mathbf {FOT} $, called $\mathbf {FOT}^{\downarrow } $, captures exactly downward closed elementary (or first-order) team properties. We axiomatize completely the logic $\mathbf {FOT} $, and also extend the known partial axiomatization of …Read more
  •  38
    Structural completeness in propositional logics of dependence
    Archive for Mathematical Logic 55 (7-8): 955-975. 2016.
    In this paper we prove that three of the main propositional logics of dependence, none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous result with respect to stable substitutions, for the negative variants of some well-known intermediate logics, which are intermediate theories that are closely related to inquisitive logic.
  •  2
    Negotiating Boundaries: Ethical Issues in Commercial Translation
    with Dongning Feng
    In Jing Bian & Kıymet Tunca Çalıyurt (eds.), Regulations and Applications of Ethics in Business Practice, Springer Singapore. pp. 3-12. 2018.
    This research first examines the current status of translation ethics in scholarship as well as in industry. It seeks to determine that a commercial translation, specifically advertising translation and related areas, is within the ethical bounds. All commercial translations have a specific shared attribute, which is to maximise the effect of the message for the target market. Unlike other types of translation, the effect of commercial translation can be comparatively and evidently seen by the c…Read more
  •  123
    Neuroplastic changes in resting-state functional connectivity after stroke rehabilitation
    with Ching-yi Wu, Ho-Ling Liu, Keh-Chung Lin, Yau-yau Wai, and Yao-Liang Chen
    Frontiers in Human Neuroscience 9 148968. 2015.
    Most neuroimaging research in stroke rehabilitation mainly focuses on the neural mechanisms underlying the natural history of post-stroke recovery. However, connectivity mapping from resting-state fMRI is well suited for different neurological conditions and provides a promising method to explore plastic changes for treatment-induced recovery from stroke. We examined the changes in resting-state functional connectivity (RS-FC) of the ipsilesional primary motor cortex (M1) in 10 post-acute stroke…Read more
  •  29
    Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams
    with Fausto Barbero
    Notre Dame Journal of Formal Logic 63 (3): 301-341. 2022.
    We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we…Read more