Chinese-American logician who contributed to the development of the stit (sees to it that) theory of agency and branching-time logic.
Co-developed and extended stit theory; contributed to the axiomatization of stit logics and to the formal analysis of agency in branching time.
No recorded minds influenced.
Discussing
Ask anything about Ming Xu — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.