Ming Xu

Available identifiers

zbMath Open xu.ming.3MaRDI QIDQ190309

List of research outcomes

Publication	Date of Publication	Type
Dynamic progressive failure analysis of 3D five-directional braided composites under transverse compression based on macro-scale heterogeneous model	2024-10-28	Paper
Combinations of \textit{stit} with \textit{ought} and \textit{know}	2016-04-13	Paper
Combinations of stit and actions	2011-01-07	Paper
Uncompactness of stit logics containing generalized refref conditionals	2001-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4518432	2000-11-28	Paper
Axioms for deliberative stit	1999-07-15	Paper
On the basic logic ofSTITwith a single agent	1995-09-13	Paper
Decidability of stit theory with a single agent and Refref equivalence	1994-12-12	Paper
Some descending chains of incomplete modal logics	1992-06-26	Paper
Metric operator and geodesic orbit property for a standard homogeneous Finsler metric	N/A	Paper

Research outcomes over time

This page was built for person: Ming Xu