Ming Xu

17 papers Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3.
Stud Logica
Ming Xu
2021 J jnl
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.
Stud Logica
Ming Xu
2015 J jnl
Combinations of
J. Philos. Log.
Ming Xu
2013 J jnl
Some Normal Extensions of K4.3.
Stud Logica
Ming Xu
2012 J jnl
Actions as Events.
J. Philos. Log.
Ming Xu
2010 J jnl
Combinations of
J. Log. Lang. Inf.
Ming Xu
2006 J jnl
Some Embedding Theorems for Conditional Logic.
J. Philos. Log.
Ming Xu
1998 J jnl
Axioms for Deliberative Stit.
J. Philos. Log.
Ming Xu
1998 J jnl
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.
Notre Dame J. Formal Log.
Ming Xu
1997 J jnl
Causation in Branching Time (I): Transitions, Events and Causes.
Synth.
Ming Xu
1995 J jnl
Busy choice sequences, refraining formulas and modalities.
Stud Logica
Ming Xu
1995 J jnl
On the Basic Logic of STIT with a Single Agent.
J. Symb. Log.
Ming Xu
1994 J jnl
Decidability of
Stud Logica
Ming Xu
1994 — conf
Decidability of Deliberative
ICTL
Ming Xu
1994 J jnl
Doing and refraining from refraining.
J. Philos. Log.
Ming Xu
1991 J jnl
Some descending chains of incomplete modal logics.
J. Philos. Log.
Ming Xu
1988 J jnl
On some
J. Philos. Log.
Ming Xu