•  143
    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.
  •  121
    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
  •  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.
  •  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
  •  63
    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.
  •  50
    The conflict of administrative morality among civil servants at the grassroots level arises from the background of China’s long-standing traditional culture, and the current administrative system cannot keep up with the pace of economic development. In the process of grassroots management, due to the lag in the construction of administrative morality, the traditional official standard thinking, the imperfection of the current system, and the restriction of human nature, it is easy to cause the a…Read more
  •  49
    Questions and Dependency in Intuitionistic Logic
    Notre Dame Journal of Formal Logic 61 (1): 75-115. 2020.
    In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team sem…Read more
  •  46
    Frequency-Specific Functional Connectivity Density as an Effective Biomarker for Adolescent Generalized Anxiety Disorder
    with Zhe Zhang, Mei Liao, Zhijun Yao, Bin Hu, Yuanwei Xie, Weihao Zheng, Tao Hu, Yu Zhao, Yan Zhang, Linyan Su, Lingjiang Li, Jürg Gutknecht, and Dennis Majoe
    Frontiers in Human Neuroscience 11. 2017.
  •  42
    Propositional logics of dependence
    Annals of Pure and Applied Logic 167 (7): 557-589. 2016.
  •  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
  •  38
    It is of great significance to predict the results accurately based on the statistics of sports competition for participants research, commercial cooperation, advertising, and gambling profit. Aiming at the phenomenon that the PageRank page sorting algorithm is prone to subject deviation, the category similarity between pages is introduced into the PageRank algorithm. In the PR value calculation formula of the PageRank algorithm, the factor W between pages is added to replace the original Nu. In…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.
  •  36
    In an era when individuality has been increasingly emphasized, the development of science and technology has provided technical support for the realization of individuation. However, in an examination-oriented education system, the education model has not attached sufficient importance to individuality. The modern education industry focuses much on the massive production of college degree holders. Student’s unique talents are mostly neglected, and their personality and creativity are not given d…Read more
  •  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
  •  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
  •  29
    From intimidation to love: Taoist philosophy and love-based environmental education
    with Jing Lin and Thomas Culham
    Educational Philosophy and Theory 51 (11): 1117-1129. 2019.
    For decades, a review of environmental education initiatives in and beyond schools indicates that many of them were implemented from an anthropocentric perspective. The rationale behind them is often that we must not destroy the environment because doing so is harmful for ourselves, human beings. One striking feature of the various forms of environmental education is the use of fear as a motivator, as people are warned about the frightening consequences of environmental destruction on their life…Read more
  •  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
  •  27
    Propositional team logics
    Annals of Pure and Applied Logic 168 (7): 1406-1441. 2017.
  •  26
    While unethical behaviors that are intended to benefit the self are often severely punished, unethical behaviors that are intended to benefit the organization (unethical pro-organizational behaviors, UPBs) are disciplined within organizations at different levels of severity. Building on the sensemaking theoretical framework, we study how employees make sense of what the organization is like through observing what the organization has done (i.e., different levels of punishment imposed for UPBs) a…Read more
  •  24
    Negation and partial axiomatizations of dependence and independence logic revisited
    Annals of Pure and Applied Logic 170 (9): 1128-1149. 2019.
    In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extende…Read more
  •  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
  •  17
  •  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.
  •  11
    Graph Grammar Formalism with Multigranularity for Spatial Graphs
    with Yufeng Liu and Jian Liu
    Journal of Logic, Language and Information 32 (5): 809-827. 2023.
    Traditional spatial enabled grammars lack flexibility in specifying the spatial semantics of graphs. This paper describes a new graph grammar formalism called the multigranularity Coordinate Graph Grammar (mgCGG) for spatial graphs. Based on the Coordinate Graph Grammar (CGG), the mgCGG divides coordinates into two categories, physical coordinates and grammatical coordinates, where physical coordinates are the common coordinates in the real world, and grammatical coordinates describe the restric…Read more
  •  11
    Introduction
    with Jouko Väänänen and Philip Scott
    Annals of Pure and Applied Logic 173 (10): 103168. 2022.