Validity Under Assumptions and Modus Ponens

von Wen, Xuefeng
Veröffentlicht in CLAR (4. : 2021 : Hangzhou) Logic and Argumentation (2021)

Modal Logic via Global Consequence

von Wen, Xuefeng
Veröffentlicht in Logic, Language, Information, and Computation (2021)

Representation Results for Non-cumulative Logics

von Wen, Xuefeng
Veröffentlicht in LORI (8. : 2021 : Online) Logic, Rationality, and Interaction (2021)

Strategy Analysis of Anchorage Station in Distributed Autonomous Orbit Determination for Beidou MEO Constellation

von Wen, Xufeng
Veröffentlicht in China Satellite Navigation Conference (10. : 2019 : Peking) China Satellite Navigation Conference (CSNC) 2019 Proceedings ; Volume 2 (2019)