Disaster Assessment Algorithm after Forest Fire Based on GIS. - Aijun Xu; Minghui Ma (FSKD (4), 2008)

Dynamic Epistemic Logic of Finite Identification. - Minghui Ma (LORI, 2009)

Goldblatt-Thomason-style Theorems for Graded Modal Language. - Katsuhiko Sano; Minghui Ma (Advances in Modal Logic, 2010)

A Modal Logic for Multiple-Source Tolerance Approximation Spaces. - Md. Aquil Khan; Minghui Ma (ICLA, 2011)

Mathematics of Public Announcements. - Minghui Ma (LORI, 2011)

Logics of Belief over Weighted Structures. - Minghui Ma; Meiyun Guo (LORI, 2011)

How to Update Neighborhood Models. - Minghui Ma; Katsuhiko Sano (LORI, 2013)

Alternative Semantics for Visser's Propositional Logics. - Katsuhiko Sano; Minghui Ma (TbiLLC, 2013)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. - Minghui Ma; Alessandra Palmigiano; Mehrnoosh Sadrzadeh (Ann. Pure Appl. Log., 2014)

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. - Zhe Lin 002; Minghui Ma (CoRR, 2014)

Residuated Basic Logic I. - Minghui Ma; Zhe Lin 002 (CoRR, 2014)

Residuated Basic Logic II. Interpolation, Decidability and Embedding. - Minghui Ma; Zhe Lin 002 (CoRR, 2014)

Tableaux for Non-normal Public Announcement Logic. - Minghui Ma; Katsuhiko Sano; François Schwarzentruber; Fernando R. Velázquez-Quesada (ICLA, 2015)

Algebraic Semantics for Dynamic Dynamic Logic. - Minghui Ma; Jeremy Seligman (LORI, 2015)

On the Complexity of the Equational Theory of Residuated Boolean Algebras. - Zhe Lin 002; Minghui Ma (WoLLIC, 2016)

A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. - Minghui Ma; Ahti-Veikko Pietarinen (FLAP, 2016)

Covering-based rough sets and modal logics. Part I. - Minghui Ma; Mihir Kumar Chakraborty (Int. J. Approx. Reason., 2016)

Peirce's Sequent Proofs of Distributivity. - Minghui Ma; Ahti-Veikko Pietarinen (ICLA, 2017)

Labelled Sequent Calculus for Inquisitive Logic. - Jinsheng Chen; Minghui Ma (LORI, 2017)

Graphical Sequent Calculi for Modal Logics. - Minghui Ma; Ahti-Veikko Pietarinen (M4M@ICLA, 2017)

Bundling of Vertically Differentiated Products in a Supply Chain. - Minghui Ma; Suman Mallik (Decis. Sci., 2017)

Unified correspondence and proof theory for strict implication. - Minghui Ma; Zhiguang Zhao (J. Log. Comput., 2017)

Do CMO Incentives Matter? An Empirical Investigation of CMO Compensation and Its Impact on Firm Performance. - Naresh Bansal; Kissan Joseph; Minghui Ma; M. Babajide Wintoki (Manag. Sci., 2017)

Proof Analysis of Peirce's Alpha System of Graphs. - Minghui Ma; Ahti-Veikko Pietarinen (Stud Logica, 2017)

A Weakening of Alpha Graphs: Quasi-Boolean Algebras. - Minghui Ma; Ahti-Veikko Pietarinen (Diagrams, 2018)

Decidability in Pre-rough Algebras: Extended Abstract. - Zhe Lin 002; Mihir Kumar Chakraborty; Minghui Ma (IJCSR, 2018)

Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. - Minghui Ma; Mihir Kumar Chakraborty; Zhe Lin 002 (IJCSR, 2018)

Finite Model Property of Pretransitive Modal Logic. - Zhe Lin 002; Minghui Ma (CoRR, 2018)

Covering-based rough sets and modal logics. Part II. - Minghui Ma; Mihir Kumar Chakraborty (Int. J. Approx. Reason., 2018)

Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. - Minghui Ma; Ahti-Veikko Pietarinen (J. Philos. Log., 2018)

Unified correspondence as a proof-theoretic tool. - Giuseppe Greco 001; Minghui Ma; Alessandra Palmigiano; Apostolos Tzimoulis; Zhiguang Zhao (J. Log. Comput., 2018)

How to update neighbourhood models. - Minghui Ma; Katsuhiko Sano (J. Log. Comput., 2018)

Sequent Calculi for Semi-De Morgan and De Morgan Algebras. - Minghui Ma; Fei Liang (Stud Logica, 2018)

Gamma graph calculi for modal logics. - Minghui Ma; Ahti-Veikko Pietarinen (Synth., 2018)

An integrated control method based on the priority of ways in a freeway network. - Minghui Ma; Shidong Liang (Trans. Inst. Meas. Control, 2018)

Sequent Calculi for Normal Update Logics. - Katsuhiko Sano; Minghui Ma (ICLA, 2019)

Short-Term Passenger Flow Prediction in Urban Public Transport: Kalman Filtering Combined K-Nearest Neighbor Approach. - Shidong Liang; Minghui Ma; Shengxue He; Hu Zhang (IEEE Access, 2019)

Gentzen sequent calculi for some intuitionistic modal logics. - Zhe Lin 002; Minghui Ma (Log. J. IGPL, 2019)

A Three-Valued Fregean Quantification Logic. - Minghui Ma; Yuanlei Lin (J. Philos. Log., 2019)

Labelled Tableau Systems for Some Subintuitionistic Logics. - Minghui Ma (Logica Universalis, 2019)

Dynamic Graded Epistemic Logic. - Minghui Ma; Hans van Ditmarsch (Rev. Symb. Log., 2019)

Sequent Calculi for Global Modal Consequence Relations. - Minghui Ma; Jinsheng Chen (Stud Logica, 2019)

A Deterministic Weakening of Belnap-Dunn Logic. - Minghui Ma; Yuanlei Lin (Stud Logica, 2019)

Design of Short-Turning Service for a Bus Route with Hybrid Vehicle Type. - Shidong Liang; Hu Zhang; Minghui Ma (Symmetry, 2019)

A Bidirectional Searching Strategy to Improve Data Quality Based on K-Nearest Neighbor Approach. - Minghui Ma; Shidong Liang; Yifei Qin (Symmetry, 2019)

A Prediction Model for Bus Arrival Time at Bus Stop Considering Signal Control and Surrounding Traffic Flow. - Hu Zhang; Shidong Liang; Yin Han; Minghui Ma; Rongmeng Leng (IEEE Access, 2020)

Pre-Control Strategies for Downstream Bus Service Reliability With Traffic Signal. - Hu Zhang; Shidong Liang; Yin Han; Minghui Ma; Rongmeng Leng (IEEE Access, 2020)

An improved car-following model accounting for the time-delayed velocity difference and backward looking effect. - Guangyi Ma; Minghui Ma; Shidong Liang; Yansong Wang; Yaozong Zhang (Commun. Nonlinear Sci. Numer. Simul., 2020)

The influence of coupon duration on consumers' redemption behavior and brand profitability. - Zelin Zhang; Minghui Ma; Peter T. L. Popkowski Leszczyc; Hejun Zhuang (Eur. J. Oper. Res., 2020)

A Paraconsistent Conditional Logic. - Minghui Ma; Chun-Ting Wong (J. Philos. Log., 2020)

Peirce's Calculi for Classical Propositional Logic. - Minghui Ma; Ahti-Veikko Pietarinen (Rev. Symb. Log., 2020)

Polarity Semantics for Negation as a Modal Operator. - Yuanlei Lin; Minghui Ma (Stud Logica, 2020)

Countably Many Weakenings of Belnap-Dunn Logic. - Minghui Ma; Yuanlei Lin (Stud Logica, 2020)

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. - Zhe Lin 002; Mihir Kumar Chakraborty; Minghui Ma (Fundam. Informaticae, 2021)

Optimal holding time calculation algorithm to improve the reliability of high frequency bus route considering the bus capacity constraint. - Shidong Liang; Shengxue He; Hu Zhang; Minghui Ma (Reliab. Eng. Syst. Saf., 2021)

Belnap-Dunn Modal Logic with Value Operators. - Yuanlei Lin; Minghui Ma (Stud Logica, 2021)

Lattices of Finitely Alternative Normal Tense Logics. - Minghui Ma; Qian Chen (Stud Logica, 2021)

Optimal control to improve reliability of demand responsive transport priority at signalized intersections considering the stochastic process. - Shidong Liang; Hu Zhang 001; Zhiming Fang; Shengxue He; Jing Zhao 014; Rongmeng Leng; Minghui Ma (Reliab. Eng. Syst. Saf., 2022)

A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. - Zhe Lin 002; Minghui Ma (Stud Logica, 2022)

Modal Logic of Generalized Separated Topological Spaces. - Qian Chen; Minghui Ma (ICLA, 2023)

An Infinity of Intuitionistic Connexive Logics. - Hao Wu; Minghui Ma (ICLA, 2023)

Relational Semantics for Normal Topological Quasi-Boolean Logic. - Hao Wu; Minghui Ma (ICLA, 2023)

Epistemic Monadic Boolean Algebras. - Juntong Guo; Minghui Ma (LORI, 2023)

A pricing strategy for electric vehicle charging in residential areas considering the uncertainty of charging time and demand. - Shidong Liang; Bingqing Zhu; Jianjia He; Sheng-Xue He; Minghui Ma (Comput. Commun., 2023)

Intuitionistic Propositional Logic with Galois Negations. - Minghui Ma; Guiying Li (Stud Logica, 2023)

Finite Model Property in Weakly Transitive Tense Logics. - Minghui Ma; Qian Chen (Stud Logica, 2023)

Cut-Free Gentzen Sequent Calculi for Tense Logics. - Zhe Lin; Minghui Ma (Axioms, 2023)

Residuated Basic Logic. - Zhe Lin; Minghui Ma (Axioms, 2023)

Computational Ghost Imaging Base on Bidirectional Recurrent Neural Network. - Zhixin Ma; Mingcong Wang; Hexiao Wang; Minghui Ma; Li Yang (CMLDS, 2024)

Robust prediction of thrust for tunnel boring machines with adaptive heavy-tailed error distribution. - Shuang Li; Qian Zhang 078; Shanglin Liu; Minghui Ma (Adv. Eng. Informatics, 2024)

Tabularity and Post-Completeness in Tense Logic. - Qian Chen; Minghui Ma (Rev. Symb. Log., 2024)

Compound radar jamming recognition based on signal source separation. - Hongping Zhou; Lei Wang 213; Minghui Ma; Zhongyi Guo 001 (Signal Process., 2024)

Rendering acceleration based on JND-guided sampling prediction. - Ripei Zhang; Chunyi Chen; Zhongye Shen; Jun Peng; Minghui Ma (Multim. Syst., 2024)

Decidability of topological quasi-Boolean algebras. - Yiheng Wang; Zhe Lin; Minghui Ma (J. Appl. Non Class. Logics, 2024)

The Impact Mechanism of Differences Between AI Streamers and Human Streamers on Consumer Purchase Intention in E-Commerce Live Streaming. - Jinni Chen; Mingyuan Jia; Yi Shi; Minghui Ma (WHICEB (2), 2025)

The Mechanism of the Impact of Short Video E-commerce Covert Advertising Features on Consumers' Impulse Buying Intentions. - Yi Shi; Yi Cui; Jinni Chen; Minghui Ma (WHICEB (2), 2025)

Connected vehicles ecological driving based on deep reinforce learning: Application of Web 3.0 technologies in traffic optimization. - Minghui Ma; Xu Han; Shidong Liang; Yansong Wang; Lan Jiang (Future Gener. Comput. Syst., 2025)

Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic. - Minghui Ma; Juntong Guo (Stud Logica, 2025)