The following pages link to Ming Xu (Q190309):
Displaying 13 items.
- (Q266670) (redirect page) (← links)
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- (Q588141) (redirect page) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- Axioms for deliberative stit (Q1272834) (← links)
- Decidability of stit theory with a single agent and Refref equivalence (Q1327485) (← links)
- (Q4518432) (← links)
- On the basic logic of<i>STIT</i>with a single agent (Q4842624) (← links)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)
- Metric operator and geodesic orbit property for a standard homogeneous Finsler metric (Q6531400) (← links)
- Dynamic progressive failure analysis of 3D five-directional braided composites under transverse compression based on macro-scale heterogeneous model (Q6625079) (← links)
- Minimal-norm solution to the Fredholm integral equations of the first kind via the H-HK formulation (Q6732205) (← links)
