-
88Expressing Second-order Sentences in Intuitionistic Dependence LogicStudia Logica 101 (2): 323-342. 2013.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
-
144Decreased Intrinsic Functional Connectivity in First-Episode, Drug-Naive Adolescents With Generalized Anxiety DisorderFrontiers in Human Neuroscience 12. 2019.
-
30China’s ‘Fake’ Apple Store: Branded Space, Intellectual Property and the Global Culture IndustryTheory, Culture and Society 31 (4): 71-96. 2014.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
-
7Cooperative 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.
-
39Applying the Virtual Input-Output Method to the Identification of Key Nodes in Busy Traffic NetworkComplexity 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
-
7Adolescent Self-Control and Individual Physical and Mental Health in Adulthood: A Chinese StudyFrontiers in Psychology 13. 2022.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
-
15Axiomatizing first order consequences in inclusion logicMathematical 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.
-
10Ethical Leadership and Knowledge Sharing: The Impacts of Prosocial Motivation and Two Facets of ConscientiousnessFrontiers in Psychology 11. 2020.
-
7Benevolent Leadership and Team Creative Performance: Creative Self-Efficacy and Openness to ExperienceFrontiers in Psychology 12. 2022.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
-
64How Do Acquired Political Identities Influence Our Neural Processing toward Others within the Context of a Trust Game?Frontiers in Human Neuroscience 12. 2018.
-
28The Janus Face of Grandiose Narcissism in the Service Industry: Self-Enhancement and Self-ProtectionJournal 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
-
8Going beyond ourselves: the role of self-transcendent experiences in wisdomCognition 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
-
91The Multifaceted Effects of Serotonin Transporter Polymorphism (5-HTTLPR) on Anxiety, Implicit Moral Attitudes, and Harmful BehaviorsFrontiers in Psychology 11. 2020.
-
21Complete Logics for Elementary Team PropertiesJournal 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
-
38Structural completeness in propositional logics of dependenceArchive 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.
-
2Negotiating Boundaries: Ethical Issues in Commercial TranslationIn 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
-
123Neuroplastic changes in resting-state functional connectivity after stroke rehabilitationFrontiers 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
-
29Characterizing Counterfactuals and Dependencies over (Generalized) Causal TeamsNotre 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
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |