Minghui Ma

According to our database, Minghui Ma authored at least 70 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Rendering acceleration based on JND-guided sampling prediction.

Ripei Zhang, Chunyi Chen, Zhongye Shen, Jun Peng, Minghui Ma

Multim. Syst., February, 2024

Compound radar jamming recognition based on signal source separation.

Hongping Zhou, Lei Wang, Minghui Ma, Zhongyi Guo

Signal Process., January, 2024

2023

Residuated Basic Logic.

Zhe Lin, Minghui Ma

Axioms, October, 2023

Cut-Free Gentzen Sequent Calculi for Tense Logics.

Zhe Lin, Minghui Ma

Axioms, July, 2023

Finite Model Property in Weakly Transitive Tense Logics.

Minghui Ma, Qian Chen

Stud Logica, April, 2023

Intuitionistic Propositional Logic with Galois Negations.

Minghui Ma, Guiying Li

Stud Logica, February, 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., February, 2023

Epistemic Monadic Boolean Algebras.

Juntong Guo, Minghui Ma

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

Relational Semantics for Normal Topological Quasi-Boolean Logic.

Hao Wu, Minghui Ma

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

An Infinity of Intuitionistic Connexive Logics.

Hao Wu, Minghui Ma

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

Modal Logic of Generalized Separated Topological Spaces.

Qian Chen, Minghui Ma

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.

Zhe Lin, Minghui Ma

Stud Logica, 2022

Optimal control to improve reliability of demand responsive transport priority at signalized intersections considering the stochastic process.

Shidong Liang, Hu Zhang, Zhiming Fang, Shengxue He, Jing Zhao, Rongmeng Leng, Minghui Ma

Reliab. Eng. Syst. Saf., 2022

2021

Lattices of Finitely Alternative Normal Tense Logics.

Minghui Ma, Qian Chen

Stud Logica, 2021

Belnap-Dunn Modal Logic with Value Operators.

Yuanlei Lin, Minghui Ma

Stud Logica, 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

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability.

Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma

Fundam. Informaticae, 2021

2020

Countably Many Weakenings of Belnap-Dunn Logic.

Minghui Ma, Yuanlei Lin

Stud Logica, 2020

Polarity Semantics for Negation as a Modal Operator.

Yuanlei Lin, Minghui Ma

Stud Logica, 2020

Peirce's Calculi for Classical Propositional Logic.

Minghui Ma, Ahti-Veikko Pietarinen

Rev. Symb. Log., 2020

A Paraconsistent Conditional Logic.

Minghui Ma, Chun-Ting Wong

J. Philos. Log., 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

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

Pre-Control Strategies for Downstream Bus Service Reliability With Traffic Signal.

Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng

IEEE Access, 2020

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

2019

A Bidirectional Searching Strategy to Improve Data Quality Based on K-Nearest Neighbor Approach.

Minghui Ma, Shidong Liang, Yifei Qin

Symmetry, 2019

Design of Short-Turning Service for a Bus Route with Hybrid Vehicle Type.

Shidong Liang, Hu Zhang, Minghui Ma

Symmetry, 2019

A Deterministic Weakening of Belnap-Dunn Logic.

Minghui Ma, Yuanlei Lin

Stud Logica, 2019

Sequent Calculi for Global Modal Consequence Relations.

Minghui Ma, Jinsheng Chen

Stud Logica, 2019

Dynamic Graded Epistemic Logic.

Minghui Ma, Hans van Ditmarsch

Rev. Symb. Log., 2019

Labelled Tableau Systems for Some Subintuitionistic Logics.

Minghui Ma

Logica Universalis, 2019

A Three-Valued Fregean Quantification Logic.

Minghui Ma, Yuanlei Lin

J. Philos. Log., 2019

Gentzen sequent calculi for some intuitionistic modal logics.

Zhe Lin, Minghui Ma

Log. J. IGPL, 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

Sequent Calculi for Normal Update Logics.

Katsuhiko Sano, Minghui Ma

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

An integrated control method based on the priority of ways in a freeway network.

Minghui Ma, Shidong Liang

Trans. Inst. Meas. Control, 2018

Gamma graph calculi for modal logics.

Minghui Ma, Ahti-Veikko Pietarinen

Synth., 2018

Sequent Calculi for Semi-De Morgan and De Morgan Algebras.

Minghui Ma, Fei Liang

Stud Logica, 2018

How to update neighbourhood models.

Minghui Ma, Katsuhiko Sano

J. Log. Comput., 2018

Unified correspondence as a proof-theoretic tool.

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao

J. Log. Comput., 2018

Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.

Minghui Ma, Ahti-Veikko Pietarinen

J. Philos. Log., 2018

Covering-based rough sets and modal logics. Part II.

Minghui Ma, Mihir Kumar Chakraborty

Int. J. Approx. Reason., 2018

Finite Model Property of Pretransitive Modal Logic.

Zhe Lin, Minghui Ma

CoRR, 2018

Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras.

Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin

Proceedings of the Rough Sets - International Joint Conference, 2018

Decidability in Pre-rough Algebras: Extended Abstract.

Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma

Proceedings of the Rough Sets - International Joint Conference, 2018

A Weakening of Alpha Graphs: Quasi-Boolean Algebras.

Minghui Ma, Ahti-Veikko Pietarinen

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Proof Analysis of Peirce's Alpha System of Graphs.

Minghui Ma, Ahti-Veikko Pietarinen

Stud Logica, 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

Unified correspondence and proof theory for strict implication.

Minghui Ma, Zhiguang Zhao

J. Log. Comput., 2017

Bundling of Vertically Differentiated Products in a Supply Chain.

Minghui Ma, Suman Mallik

Decis. Sci., 2017

Graphical Sequent Calculi for Modal Logics.

Minghui Ma, Ahti-Veikko Pietarinen

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Labelled Sequent Calculus for Inquisitive Logic.

Jinsheng Chen, Minghui Ma

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Peirce's Sequent Proofs of Distributivity.

Minghui Ma, Ahti-Veikko Pietarinen

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016

Covering-based rough sets and modal logics. Part I.

Minghui Ma, Mihir Kumar Chakraborty

Int. J. Approx. Reason., 2016

A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic.

Minghui Ma, Ahti-Veikko Pietarinen

FLAP, 2016

On the Complexity of the Equational Theory of Residuated Boolean Algebras.

Zhe Lin, Minghui Ma

Proceedings of the Logic, Language, Information, and Computation, 2016

2015

Algebraic Semantics for Dynamic Dynamic Logic.

Minghui Ma, Jeremy Seligman

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Tableaux for Non-normal Public Announcement Logic.

Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

2014

Residuated Basic Logic II. Interpolation, Decidability and Embedding.

Minghui Ma, Zhe Lin

CoRR, 2014

Residuated Basic Logic I.

Minghui Ma, Zhe Lin

CoRR, 2014

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus.

Zhe Lin, Minghui Ma

CoRR, 2014

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic.

Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh

Ann. Pure Appl. Log., 2014

2013

Alternative Semantics for Visser's Propositional Logics.

Katsuhiko Sano, Minghui Ma

Proceedings of the Logic, Language, and Computation, 2013

How to Update Neighborhood Models.

Minghui Ma, Katsuhiko Sano

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2011

Logics of Belief over Weighted Structures.

Minghui Ma, Meiyun Guo

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Mathematics of Public Announcements.

Minghui Ma

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

A Modal Logic for Multiple-Source Tolerance Approximation Spaces.

Md. Aquil Khan, Minghui Ma

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

2010

Goldblatt-Thomason-style Theorems for Graded Modal Language.

Katsuhiko Sano, Minghui Ma

Proceedings of the Advances in Modal Logic 8, 2010

2009

Dynamic Epistemic Logic of Finite Identification.

Minghui Ma

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

2008

Disaster Assessment Algorithm after Forest Fire Based on GIS.

Aijun Xu, Minghui Ma

Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008