Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMing Xu 0023
Person information
- affiliation: Wuhan University, Department of Philosophy, Wuhan, China
- affiliation: Cycorp Inc., Austin, TX, USA
- affiliation (PhD 1996): University of Pittsburgh, Department of Philosophy, Pittsburgh, PA, USA
- affiliation: Chinese Academy of Social Sciences, Institute of Philosophy, Beijing, China
Other persons with the same name
- Ming Xu — disambiguation page
- Ming Xu 0001
![[0000-0001-9332-5258]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-9332-5258")
— Hangzhou Dianzi University, School of Cyberspace, School of Computer Science and Technology, Internet and Network Security Laboratory, China (and 1 more) - Ming Xu 0002 — National University of Defense Technology, College of Computer, Changsha, China (and 1 more)
- Ming Xu 0003 — Beihang University, School of Astronautics, Department of Aerospace Engineering, Beijing, China
- Ming Xu 0004 — University of Michigan, School of Natural Resources and Environment, Ann Arbor, MI, USA
- Ming Xu 0005 — Tongji University, Department of Computer Science and Technology, Shanghai, China (and 2 more)
- Ming Xu 0006 — Fudan University, Software School, Shanghai Key Laboratory of Data Science, China
- Ming Xu 0007 — Northeastern University, School of Information Science and Engineering, Shenyang, China
- Ming Xu 0008 — Tsinghua University, Research Institute of Information Technology, Beijing, China (and 1 more)
- Ming Xu 0009 — Shanghai Maritime University, College of Information Engineering, Department of Computer Science, China
- Ming Xu 0010 — East China Normal University, School of Software Engineering, Department of Computer Science and Technology, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China
- Ming Xu 0011 — University of Liverpool, Department of Electrical Engineering and Electronics, UK (and 5 more)
- Ming Xu 0012 — Minzu University, School of Preparatory Education, Key Laboratory of Information Materials of Sichuan Province, Chengdu, China
- Ming Xu 0013 — NingboTech University, Institute of Automation and Electrical Engineering, Ningbo, China (and 1 more)
- Ming Xu 0014 — Nanjing University, Department of Computer Science and Technology, National Key Laboratory for Novel Software Technology, Nanjing, China
- Ming Xu 0015 — Queensland University of Technology, School of Electrical Engineering and Robotics, Brisbane, Australia (and 1 more)
- Ming Xu 0016 — Nanjing University of Aeronautics and Astronautics, College of Electronic and Information Engineering, Nanjing, China
- Ming Xu 0017 — University of Wisconsin-Milwaukee, Department of Computer Science, Milwaukee, WI, USA
- Ming Xu 0018 — Guizhou University of Finance and Economics, School of Mathematics and Statistics, Guizhou Key Laboratory of Big Data Statistical Analysis, Guiyang, China
- Ming Xu 0019 — National University of Defense Technology, College of Electronic Science, Changsha, China
- Ming Xu 0020 — Ocean University of China, College of Marine Technology, Qingdao, China
- Ming Xu 0021 — Future Cities Laboratory, Singapore
- Ming Xu 0022 — National University of Defense Technology, College of Intelligence Science and Technology, Department of Automation, Changsha, China (and 1 more)
- Ming Xu 0024 — Fudan University, School of Microelectronics, State Key Laboratory of ASIC and System, Shanghai, China
- Ming Xu 0025 — Shenzhen University, School of Electronic and Information Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j16]Ming Xu:
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3. Stud Logica 111(6): 899-946 (2023)- 2021
- [j15]Ming Xu:
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence. Stud Logica 109(6): 1177-1200 (2021)
2010 – 2019
- 2015
- [j14]Ming Xu:
Combinations of Stit with Ought and Know. J. Philos. Log. 44(6): 851-877 (2015) - 2013
- [j13]Ming Xu:
Some Normal Extensions of K4.3. Stud Logica 101(3): 583-599 (2013) - 2012
- [j12]Ming Xu:
Actions as Events. J. Philos. Log. 41(4): 765-809 (2012) - 2010
- [j11]Ming Xu:
Combinations of Stit and Actions. J. Log. Lang. Inf. 19(4): 485-503 (2010)
2000 – 2009
- 2006
- [j10]Ming Xu:
Some Embedding Theorems for Conditional Logic. J. Philos. Log. 35(6): 599-619 (2006)
1990 – 1999
- 1998
- [j9]Ming Xu:
Axioms for Deliberative Stit. J. Philos. Log. 27(5): 505-552 (1998) - [j8]Ming Xu:
Uncompactness of Stit Logics Containing Generalized Refref Conditionals. Notre Dame J. Formal Log. 39(4): 485-506 (1998) - 1997
- [j7]Ming Xu:
Causation in Branching Time (I): Transitions, Events and Causes. Synth. 112(2): 137-192 (1997) - 1995
- [j6]Ming Xu:
On the Basic Logic of STIT with a Single Agent. J. Symb. Log. 60(2): 459-483 (1995) - [j5]Ming Xu:
Busy choice sequences, refraining formulas and modalities. Stud Logica 54(3): 267-301 (1995) - 1994
- [j4]Ming Xu:
Doing and refraining from refraining. J. Philos. Log. 23(6): 621-632 (1994) - [j3]Ming Xu:
Decidability of Stit theory with a single agent and Refref Equivalence. Stud Logica 53(2): 259-298 (1994) - [c1]Ming Xu:
Decidability of Deliberative Stit Theories with Multiple Agents. ICTL 1994: 332-348 - 1991
- [j2]Ming Xu:
Some descending chains of incomplete modal logics. J. Philos. Log. 20(3): 265-283 (1991)
1980 – 1989
- 1988
- [j1]Ming Xu:
On some U, S-tense logics. J. Philos. Log. 17(2): 181-202 (1988)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-10 23:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
