20 found
Sort by:
Disambiguations:
Ming Xu [14]Mingcong Xu [4]Mingqiang Xu [1]Mingdi Xu [1]
  1. Ming Xu (2013). Some Normal Extensions of K4.3. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Mingdi Xu, Fumitaka Homae, Ryu-Ichiro Hashimoto & Hiroko Hagiwara (2013). Acoustic Cues for the Recognition of Self-Voice and Other-Voice. Frontiers in Psychology 4.
    Self-recognition, being indispensable for successful social communication, has become a major focus in current social neuroscience. The physical aspects of the self are most typically manifested in the face and voice. Compared with the wealth of studies on self-face recognition, self-voice recognition (SVR) has not gained much attention. Converging evidence has suggested that the fundamental frequency (F0) and formant structures serve as the key acoustic cues for other-voice recognition (OVR). However, little is known about which, and how, acoustic cues are (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Ming Xu (2012). Actions as Events. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Ming Xu (2010). Combinations of Stit and Actions. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Mingcong Xu (ed.) (2009). Tao Xingzhi Chuang Zao Jiao Yu Si Xiang. Hefei Gong Ye da Xue Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Mingcong Xu (ed.) (2009). Tao Xingzhi de Yu Si Xiang. Hefei Gong Ye da Xue Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Mingcong Xu (ed.) (2009). Tao Xingzhi Shi Fan Jiao Yu Si Xiang. Hefei Gong Ye da Xue Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. Mingcong Xu (ed.) (2009). Tao Xingzhi You Er Jiao Yu Si Xiang. Hefei Gong Ye da Xue Chu Ban She.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  9. Ming Xu (2006). Some Embedding Theorems for Conditional Logic. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Ming Xu (2002). Normal Extensions of G. Theoria 68 (2):170-176.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Mingqiang Xu, Kaoru Hirota & Hajime Yoshino (1999). A Fuzzy Theoretical Approach to Case-Based Representation and Inference in CISG. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Ming Xu (1998). Uncompactness of Stit Logics Containing Generalized Refref Conditionals. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Ming Xu (1998). Axioms for Deliberative Stit. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  14. Ming Xu (1997). Causation in Branching Time (I): Transitions, Events and Causes. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  15. Ming Xu (1995). Busy Choice Sequences Refraining Formulas and Modalities. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Ming Xu (1995). On the Basic Logic of STIT with a Single Agent. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Ming Xu (1994). Doing and Refraining From Refraining. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Ming Xu (1994). Decidability Ofstit Theory with a Single Agent Andrefref Equivalence. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Ming Xu (1991). Some Descending Chains of Incomplete Modal Logics. Journal of Philosophical Logic 20 (3):265 - 283.
  20. Ming Xu (1988). On Some U,s-Tense Logics. Journal of Philosophical Logic 17 (2):181 - 202.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation