Order:
Disambiguations
Ming Xu [21]Min Xu [9]Minpeng Xu [5]Mingcong Xu [4]
Mingdi Xu [3]Min-xia Xu [1]Mingkui Xu [1]Mingqiang Xu [1]

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

See also
  1. Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap, Michael Perloff & Ming Xu - 2001 - Philosophical Quarterly 52 (209):660-662.
    No categories
     
    Export citation  
     
    Bookmark   156 citations  
  2. Axioms for deliberative stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
    Based on a notion of "companions to stit formulas" applied in other papers dealing with astit logics, we introduce "choice formulas" and "nested choice formulas" to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  3. Causation in branching time (I): Transitions, events and causes.Ming Xu - 1997 - Synthese 112 (2):137-192.
    We propose a theory of events and causes against the background of branching time. Notions discussed include possibility based on reality, transitions, events, determinacy, contingency, causes and effects. The main idea in defining causal relations is to introduce a certain preconditioning circumstance under which one event follows another. We also briefly compare this theory with some other theories.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  4.  1
    The Effects of Transcranial Direct Current Stimulation (tDCS) on Working Memory Training in Healthy Young Adults.Yufeng Ke, Ningci Wang, Jiale Du, Linghan Kong, Shuang Liu, Minpeng Xu, Xingwei An & Dong Ming - 2019 - Frontiers in Human Neuroscience 13.
    Working memory (WM) is a fundamental cognitive ability to support complex thought, but it is limited in capacity. WM training has shown the potential to make benefit for those in need. Many studies have shown the potential of transcranial direct current stimulation (tDCS) to transiently enhance WM performance by delivering low current to the brain cortex of interest via electrodes on the scalp. TDCS has also been revealed as a promising intervention to augment WM training in a few studies. However, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  90
    Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.
    We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  13
    Cross-Dataset Variability Problem in EEG Decoding With Deep Learning.Lichao Xu, Minpeng Xu, Yufeng Ke, Xingwei An, Shuang Liu & Dong Ming - 2020 - Frontiers in Human Neuroscience 14.
  7.  9
    Occupational Neuroplasticity in the Human Brain: A Critical Review and Meta-Analysis of Neuroimaging Studies.Huijun Wu, Hongjie Yan, Yang Yang, Min Xu, Yuhu Shi, Weiming Zeng, Jiewei Li, Jian Zhang, Chunqi Chang & Nizhuan Wang - 2020 - Frontiers in Human Neuroscience 14.
  8.  76
    Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
    This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.
    We present a theory of actions based on a theory of events in branching time, in which "particular" or "token" actions are taken to be sets of transitions from their initial states to the outcomes. We also present a simple theory of composition of events by which composite events can be formed out of other events. Various kinds of actions, including instantaneous group actions and sequential group actions, are introduced by way of composition, and an extended stit theory of agency (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  68
    On some u,s-tense logics.Ming Xu - 1988 - Journal of Philosophical Logic 17 (2):181 - 202.
  11.  76
    On the basic logic of STIT with a single agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
    We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea of the proof is to apply the notion of companion sets--the same notion as used in another paper by the author that showed the decidability of stit theory with a single agent and Refref equivalence.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  42
    Decidability ofstit theory with a single agent andrefref equivalence.Ming Xu - 1994 - Studia Logica 53 (2):259 - 298.
    The purpose of this paper is to prove the decidability ofstit theory (a logic of seeing to it that) with a single agent andRefref Equivalence. This result is obtained through an axiomatization of the theory and a proof that it has thefinite model property. A notion ofcompanions to stit formulas is introduced and extensively used in the proof.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  44
    Doing and refraining from refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.
    The main purpose of this paper is to prove that in every stit semantic structure that contains a busy choice sequence, neither does doing imply refraining from refraining from doing, nor does refraining from refraining from doing imply doing.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  8
    Cognitive Correlates of Reading Fluency in Chinese School-Aged Children.Jing Bai, Wenlong Li, Yang Yang, Jianhui Wu, Wei He & Min Xu - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  34
    Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.
    The purpose of this paper is to present some results instit theory, a theory of agency proposed by N. Belnap and M. Perloff. We will establish a correspondence between the numbers ofstit modalities and the complexity degrees ofbusy choice sequences in semantic structures, and consequently, a correspondence between the number of modes of actions/inactions instit theory and the complexity degrees ofbusy choice sequences in semantic structures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  4
    Temporal Combination Pattern Optimization Based on Feature Selection Method for Motor Imagery BCIs.Jing Jiang, Chunhui Wang, Jinghan Wu, Wei Qin, Minpeng Xu & Erwei Yin - 2020 - Frontiers in Human Neuroscience 14.
  17.  27
    Incorporation of Multiple-Days Information to Improve the Generalization of EEG-Based Emotion Recognition Over Time.Shuang Liu, Long Chen, Dongyue Guo, Xiaoya Liu, Yue Sheng, Yufeng Ke, Minpeng Xu, Xingwei An, Jiajia Yang & Dong Ming - 2018 - Frontiers in Human Neuroscience 12.
  18. Influence of Ongoing Task Difficulty and Motivation Level on Children’s Prospective Memory in a Chinese Sample.Pi-guo Han, Lei Han, Yu-Long Bian, Yu Tian, Min-xia Xu & Feng-Qiang Gao - 2017 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Prefrontal Function Engaging in External-Focused Attention in 5- to 6-Month-Old Infants: A Suggestion for Default Mode Network. [REVIEW]Mingdi Xu, Eiichi Hoshino, Kiyomi Yatabe, Soichiro Matsuda, Hiroki Sato, Atsushi Maki, Mina Yoshimura & Yasuyo Minagawa - 2017 - Frontiers in Human Neuroscience 10.
  20.  10
    Ethical Issues that arise in Bankruptcy.Jacques Boettcher, Gerald Cavanagh & Min Xu - 2014 - Business and Society Review 119 (4):473-496.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  50
    Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
    This paper proves the finite model property and the finite axiomatizability of a class of normal modal logics extending K4.3. The frames for these logics are those for K4.3, in each of which every point has a bounded number of irreflexive successors if it is after an infinite ascending chain of (not necessarily distinct) points.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  77
    Some Embedding Theorems for Conditional Logic.Ming Xu - 2006 - Journal of Philosophical Logic 35 (6):599-619.
    We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proof.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  20
    Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.Ming Xu - 2021 - Studia Logica 109 (6):1177-1200.
    This paper presents a generalization of Fine’s completeness theorem for transitive logics of finite width, and proves the Kripke completeness of transitive logics of finite “suc-eq-width”. The frame condition for each finite suc-eq-width axiom requires, in rooted transitive frames, a finite upper bound of cardinality for antichains of points with different proper successors. The paper also presents a generalization of Rybakov’s completeness theorem for transitive logics of prefinite width, and proves the Kripke completeness of transitive logics of prefinite “suc-eq-width”. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  54
    The Creator-Determining Problem and Conjunctive Creationism about Fictional Characters.Min Xu - 2015 - Dialogue 54 (3):455-468.
    According to standard Creationism about fictional characters, each fictional character is created by its single author independently, or created by its co-authors cooperatively, or created by its independent authors independently. I argue that standard Creationism faces the Creator-Determining Problem. I propose a non-standard form of Creationism, i.e., Conjunctive Creationism, according to which each fictional character is conjunctively created. I argue that Conjunctive Creationism does not face the Creator-Determining Problem. By responding to four potential worries, I provide a further defense. My (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Patient-centred care and patient autonomy: doctors’ views in Chinese hospitals.Peter Howard, Yongli Zhou, Guowei Liu, Min Xu & Zhanming Liang - 2022 - BMC Medical Ethics 23 (1):1-12.
    BackgroundPatient-centred care and patient autonomy is one of the key factors to better quality of service provision, hence patient outcomes. It enables the development of patients’ trusts which is an important element to a better doctor-patient relationship. Given the increasing number of patient disputes and conflicts between patients and doctors in Chinese public hospital, it is timely to ensure patient-centred care is fully and successfully implemented. However, limited studies have examined the views and practice in different aspects of patient-centred care (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Analysis of the Influence of Renewable Generator Frequency Endurance Capability on Low-Frequency Load Shedding: A Hunan Case Study.Yang-Wu Shen, Ding Wang, Hao Chen, Jian Zuo, Min Xu & Wei Cao - 2020 - Complexity 2020:1-9.
    With the rapid development of renewable generators such as distributed photovoltaic and profound changes of the power structure, this paper analyzes the frequency characteristics of the power system with high penetration of renewable generations in the process of low-frequency load shedding and discusses the influence of the distributed renewable generator frequency endurance capabilities on the implementation effect of low-frequency load shedding in detail. Finally, the influences of the distributed renewable generator frequency endurance capability and the capacities of the distributed renewable (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Indirect Anaphora: Classification and Interpretation.Ming Xu & Geng-Chun Li - 2005 - Philosophy of the Social Sciences 35 (4):166-169.
    Any text can not leave the text the user exists, with the phenomenon of indirect discourse anaphora is no exception. Therefore, the phenomenon of indirect anaphora can not be studied only from the text itself, but also from the recipient of discourse processing and mental representation of discourse strategies such as perspective depth studies to explore the source of discourse coherence factors. Indirect anaphor is a special kind of anaphor that receives more and more attention these years. Based on previous (...)
     
    Export citation  
     
    Bookmark  
  28. Tao Xingzhi Chuang Zao Jiao Yu Si Xiang.Mingcong Xu (ed.) - 2009 - Hefei Gong Ye da Xue Chu Ban She.
  29. Tao Xingzhi de Yu Si Xiang.Mingcong Xu (ed.) - 2009 - Hefei Gong Ye da Xue Chu Ban She.
  30. Tao Xingzhi Shi Fan Jiao Yu Si Xiang.Mingcong Xu (ed.) - 2009 - Hefei Gong Ye da Xue Chu Ban She.
  31. Tao Xingzhi You Er Jiao Yu Si Xiang.Mingcong Xu (ed.) - 2009 - Hefei Gong Ye da Xue Chu Ban She.
  32. Xin Yi Shi Xing Tai Pi Ping.Ming Xu - 2001
    No categories
     
    Export citation  
     
    Bookmark  
  33. Vehicle Type Recognition Algorithm Based on Improved Network in Network.Erxi Zhu, Min Xu & De Chang Pi - 2021 - Complexity 2021:1-10.
    Vehicle type recognition algorithms are broadly used in intelligent transportation, but the accuracy of the algorithms cannot meet the requirements of production application. For the high efficiency of the multilayer perceptive layer of Network in Network, the nonlinear features of local receptive field images can be extracted. Global average pooling can avoid the network from overfitting, and small convolution kernel can decrease the dimensionality of the feature map, as well as downregulate the number of model training parameters. On that basis, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  49
    Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.
    In this paper we prove the uncompactness of every stit logic that contains a generalized refref conditional and is a sublogic of the stit logic with refref equivalence, a syntactical condition of uncompactness that covers infinitely many stit logics. This result is established through the uncompactness of every stit logic whose semantic structures contain no chain of busy choice sequences with cardinality , where is any natural number . The basic idea in the proof is to apply the notion of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  35.  28
    Against Zangwill’s Extreme Formalism About Inorganic Nature.Min Xu & Guifang Deng - 2015 - Philosophia 43 (1):249-257.
    Extreme formalism is a radical and important position in the aesthetics of inorganic nature. Zangwill offers a new formulation of what formal aesthetic properties are, according to which a formal aesthetic property of a thing is an aesthetic property that is determined merely by its appearance properties. An appearance property of a thing is the way it seems if perceived under certain conditions. With the notion of formal aesthetic properties formulated as such, extreme formalism, the claim that all aesthetic properties (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  8
    Improving the Cross-Subject Performance of the ERP-Based Brain–Computer Interface Using Rapid Serial Visual Presentation and Correlation Analysis Rank.Shuang Liu, Wei Wang, Yue Sheng, Ludan Zhang, Minpeng Xu & Dong Ming - 2020 - Frontiers in Human Neuroscience 14.
  37.  38
    A fuzzy theoretical approach to case-based representation and inference in CISG.Mingqiang Xu, Kaoru Hirota & Hajime Yoshino - 1999 - Artificial Intelligence and Law 7 (2-3):259-272.
    In a legal expert system based on CBR (Case-Based Reasoning), legal statute rules are interpreted on the basis of precedents. This interpretation, because of its vagueness and uncertainty of the interpretation cannot be handled with the means used for crisp cases. In our legal expert system, on the basis of the facts of precedents, the statute rule is interpreted as a form of case rule, the application of which involves the concepts of membership and vagueness. The case rule is stored (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  7
    Prefrontal Responses to Odors in Individuals With Autism Spectrum Disorders: Functional NIRS Measurement Combined With a Fragrance Pulse Ejection System.Mingdi Xu, Yasuyo Minagawa, Hirokazu Kumazaki, Ken-Ichi Okada & Nozomi Naoi - 2020 - Frontiers in Human Neuroscience 14.
  39.  18
    Reference and Existence SAUL A. KRIPKE Oxford: Oxford University Press, 2013; 184 pp.; £22.50. [REVIEW]Min Xu - 2016 - Dialogue 55 (2).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  14
    Probing the evolution of water clusters during hydration of the solid acid catalyst H-ZSM-5.Kenneth D. M. Harris, Mingcan Xu & John Meurig Thomas - 2009 - Philosophical Magazine 89 (33):3001-3012.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  44
    Normal Extensions of G.3.Ming Xu - 2002 - Theoria 68 (2):170-176.
  42.  13
    Roles of local He concentration and Si sample orientation on cavity growth in amorphous silicon.Mariaconcetta Canino, Gabrielle Regula, Ming Xu, Esidor Ntsoenzok, M. Lancin, Marie-France Barthe, Thierry Sauvage, E. Oliviero & Bernard Pichaud - 2011 - Philosophical Magazine 91 (34):4324-4331.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  10
    The Influence from the Past: Organizational Imprinting and Firms' Compliance with Social Insurance Policies in China.Yi Han, Enying Zheng & Minya Xu - 2014 - Journal of Business Ethics 122 (1):1-13.
    Using a nationwide survey of randomly selected manufacturing firms in representative Chinese cities, we examine how firms’ compliance with social insurance policies is shaped by their historical imprinting, by their founding ownership structures, as well as by massive institutional changes. Our empirical results suggest that firms founded in the state socialist era and firms founded as Chinese state-owned enterprises (SOEs) were infused with socialist institutional logics of labor relations, and they tended to comply with social insurance policies even in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    Unconscious and Distinctive Control of Vocal Pitch and Timbre During Altered Auditory Feedback.Mingdi Xu, Ryosuke O. Tachibana, Kazuo Okanoya, Hiroko Hagiwara, Ryu-Ichiro Hashimoto & Fumitaka Homae - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  59
    Some descending chains of incomplete modal logics.Ming Xu - 1991 - Journal of Philosophical Logic 20 (3):265 - 283.
  46. An Investigation in the Logics of Seeing-to-It-That.Ming Xu - 1996 - Dissertation, University of Pittsburgh
    Based on the branching time theory proposed by Prior and Thomason, this thesis is devoted to characterizing the causal aspect of agency by considering a sentence "$\alpha$ sees to it that A" as asserting a causal relation between a choice made by the agent $\alpha$ and a fact described in the sentence A. The phrase "see to it that" is abbreviated as stit. This thesis provides conceptual analyses of stit and develops some modal logics of stit in accordance with these (...)
     
    Export citation  
     
    Bookmark   1 citation