Minghui Ma

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 61

Top Topics

Sequent Calculi

Topological Spaces

Top Venues

J. Philos. Log.

Publications

Yiheng Wang, Zhe Lin, Minghui Ma
Decidability of topological quasi-Boolean algebras. J. Appl. Non Class. Logics 34 (2-3) (2024)
Qian Chen, Minghui Ma
Tabularity and Post-Completeness in Tense Logic. Rev. Symb. Log. 17 (2) (2024)
Zhixin Ma, Mingcong Wang, Hexiao Wang, Minghui Ma, Li Yang
Computational Ghost Imaging Base on Bidirectional Recurrent Neural Network. CMLDS (2024)
Shuang Li, Qian Zhang, Shanglin Liu, Minghui Ma
Robust prediction of thrust for tunnel boring machines with adaptive heavy-tailed error distribution. Adv. Eng. Informatics 62 (2024)
Hongping Zhou, Lei Wang, Minghui Ma, Zhongyi Guo
Compound radar jamming recognition based on signal source separation. Signal Process. 214 (2024)
Ripei Zhang, Chunyi Chen, Zhongye Shen, Jun Peng, Minghui Ma
Rendering acceleration based on JND-guided sampling prediction. Multim. Syst. 30 (1) (2024)
Juntong Guo, Minghui Ma
Epistemic Monadic Boolean Algebras. LORI (2023)
Hao Wu, Minghui Ma
Relational Semantics for Normal Topological Quasi-Boolean Logic. ICLA (2023)
Shidong Liang, Bingqing Zhu, Jianjia He, Sheng-Xue He, Minghui Ma
A pricing strategy for electric vehicle charging in residential areas considering the uncertainty of charging time and demand. Comput. Commun. 199 (2023)
Zhe Lin, Minghui Ma
Cut-Free Gentzen Sequent Calculi for Tense Logics. Axioms 12 (7) (2023)
Minghui Ma, Guiying Li
Intuitionistic Propositional Logic with Galois Negations. Stud Logica 111 (1) (2023)
Hao Wu, Minghui Ma
An Infinity of Intuitionistic Connexive Logics. ICLA (2023)
Zhe Lin, Minghui Ma
Residuated Basic Logic. Axioms 12 (10) (2023)
Qian Chen, Minghui Ma
Modal Logic of Generalized Separated Topological Spaces. ICLA (2023)
Minghui Ma, Qian Chen
Finite Model Property in Weakly Transitive Tense Logics. Stud Logica 111 (2) (2023)
Zhe Lin, Minghui Ma
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. Stud Logica 110 (5) (2022)
Shidong Liang, Hu Zhang, Zhiming Fang, Shengxue He, Jing Zhao, Rongmeng Leng, Minghui Ma
Optimal control to improve reliability of demand responsive transport priority at signalized intersections considering the stochastic process. Reliab. Eng. Syst. Saf. 218 (Part) (2022)
Shidong Liang, Shengxue He, Hu Zhang, Minghui Ma
Optimal holding time calculation algorithm to improve the reliability of high frequency bus route considering the bus capacity constraint. Reliab. Eng. Syst. Saf. 212 (2021)
Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. Fundam. Informaticae 179 (3) (2021)
Minghui Ma, Qian Chen
Lattices of Finitely Alternative Normal Tense Logics. Stud Logica 109 (5) (2021)
Yuanlei Lin, Minghui Ma
Belnap-Dunn Modal Logic with Value Operators. Stud Logica 109 (4) (2021)
Minghui Ma, Ahti-Veikko Pietarinen
Peirce's Calculi for Classical Propositional Logic. Rev. Symb. Log. 13 (3) (2020)
Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng
Pre-Control Strategies for Downstream Bus Service Reliability With Traffic Signal. IEEE Access 8 (2020)
Guangyi Ma, Minghui Ma, Shidong Liang, Yansong Wang, Yaozong Zhang
An improved car-following model accounting for the time-delayed velocity difference and backward looking effect. Commun. Nonlinear Sci. Numer. Simul. 85 (2020)
Zelin Zhang, Minghui Ma, Peter T. L. Popkowski Leszczyc, Hejun Zhuang
The influence of coupon duration on consumers' redemption behavior and brand profitability. Eur. J. Oper. Res. 281 (1) (2020)
Minghui Ma, Yuanlei Lin
Countably Many Weakenings of Belnap-Dunn Logic. Stud Logica 108 (2) (2020)
Hu Zhang, Shidong Liang, Yin Han, Minghui Ma, Rongmeng Leng
A Prediction Model for Bus Arrival Time at Bus Stop Considering Signal Control and Surrounding Traffic Flow. IEEE Access 8 (2020)
Yuanlei Lin, Minghui Ma
Polarity Semantics for Negation as a Modal Operator. Stud Logica 108 (5) (2020)
Minghui Ma, Chun-Ting Wong
A Paraconsistent Conditional Logic. J. Philos. Log. 49 (5) (2020)
Minghui Ma, Shidong Liang, Yifei Qin
A Bidirectional Searching Strategy to Improve Data Quality Based on K-Nearest Neighbor Approach. Symmetry 11 (6) (2019)
Minghui Ma, Jinsheng Chen
Sequent Calculi for Global Modal Consequence Relations. Stud Logica 107 (4) (2019)
Katsuhiko Sano, Minghui Ma
Sequent Calculi for Normal Update Logics. ICLA (2019)
Minghui Ma, Yuanlei Lin
A Three-Valued Fregean Quantification Logic. J. Philos. Log. 48 (2) (2019)
Minghui Ma, Hans van Ditmarsch
Dynamic Graded Epistemic Logic. Rev. Symb. Log. 12 (4) (2019)
Zhe Lin, Minghui Ma
Gentzen sequent calculi for some intuitionistic modal logics. Log. J. IGPL 27 (4) (2019)
Shidong Liang, Minghui Ma, Shengxue He, Hu Zhang
Short-Term Passenger Flow Prediction in Urban Public Transport: Kalman Filtering Combined K-Nearest Neighbor Approach. IEEE Access 7 (2019)
Minghui Ma
Labelled Tableau Systems for Some Subintuitionistic Logics. Logica Universalis 13 (2) (2019)
Minghui Ma, Yuanlei Lin
A Deterministic Weakening of Belnap-Dunn Logic. Stud Logica 107 (2) (2019)
Shidong Liang, Hu Zhang, Minghui Ma
Design of Short-Turning Service for a Bus Route with Hybrid Vehicle Type. Symmetry 11 (9) (2019)
Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin
Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. IJCSR (2018)
Minghui Ma, Katsuhiko Sano
How to update neighbourhood models. J. Log. Comput. 28 (8) (2018)
Minghui Ma, Mihir Kumar Chakraborty
Covering-based rough sets and modal logics. Part II. Int. J. Approx. Reason. 95 (2018)
Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma
Decidability in Pre-rough Algebras: Extended Abstract. IJCSR (2018)
Minghui Ma, Ahti-Veikko Pietarinen
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. J. Philos. Log. 47 (6) (2018)
Minghui Ma, Ahti-Veikko Pietarinen
Gamma graph calculi for modal logics. Synth. 195 (8) (2018)
Minghui Ma, Ahti-Veikko Pietarinen
A Weakening of Alpha Graphs: Quasi-Boolean Algebras. Diagrams (2018)
Minghui Ma, Shidong Liang
An integrated control method based on the priority of ways in a freeway network. Trans. Inst. Meas. Control 40 (3) (2018)
Minghui Ma, Fei Liang
Sequent Calculi for Semi-De Morgan and De Morgan Algebras. Stud Logica 106 (3) (2018)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28 (7) (2018)
Zhe Lin, Minghui Ma
Finite Model Property of Pretransitive Modal Logic. CoRR (2018)
Minghui Ma, Ahti-Veikko Pietarinen
Proof Analysis of Peirce's Alpha System of Graphs. Stud Logica 105 (3) (2017)
Minghui Ma, Ahti-Veikko Pietarinen
Peirce's Sequent Proofs of Distributivity. ICLA (2017)
Minghui Ma, Zhiguang Zhao
Unified correspondence and proof theory for strict implication. J. Log. Comput. 27 (3) (2017)
Minghui Ma, Suman Mallik
Bundling of Vertically Differentiated Products in a Supply Chain. Decis. Sci. 48 (4) (2017)
Naresh Bansal, Kissan Joseph, Minghui Ma, M. Babajide Wintoki
Do CMO Incentives Matter? An Empirical Investigation of CMO Compensation and Its Impact on Firm Performance. Manag. Sci. 63 (6) (2017)
Minghui Ma, Ahti-Veikko Pietarinen
Graphical Sequent Calculi for Modal Logics. M4M@ICLA (2017)
Jinsheng Chen, Minghui Ma
Labelled Sequent Calculus for Inquisitive Logic. LORI (2017)
Minghui Ma, Ahti-Veikko Pietarinen
A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. FLAP 3 (1) (2016)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified Correspondence as a Proof-Theoretic Tool. CoRR (2016)
Minghui Ma, Mihir Kumar Chakraborty
Covering-based rough sets and modal logics. Part I. Int. J. Approx. Reason. 77 (2016)
Zhe Lin, Minghui Ma
On the Complexity of the Equational Theory of Residuated Boolean Algebras. WoLLIC (2016)
Minghui Ma, Jeremy Seligman
Algebraic Semantics for Dynamic Dynamic Logic. LORI (2015)
Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada
Tableaux for Non-normal Public Announcement Logic. ICLA (2015)
Zhe Lin, Minghui Ma
The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. CoRR (2014)
Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Log. 165 (4) (2014)
Minghui Ma, Zhe Lin
Residuated Basic Logic II. Interpolation, Decidability and Embedding. CoRR (2014)
Minghui Ma, Zhe Lin
Residuated Basic Logic I. CoRR (2014)
Katsuhiko Sano, Minghui Ma
Alternative Semantics for Visser's Propositional Logics. TbiLLC (2013)
Minghui Ma, Katsuhiko Sano
How to Update Neighborhood Models. LORI (2013)
Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI (2011)
Minghui Ma
Mathematics of Public Announcements. LORI (2011)
Md. Aquil Khan, Minghui Ma
A Modal Logic for Multiple-Source Tolerance Approximation Spaces. ICLA (2011)
Minghui Ma, Meiyun Guo
Logics of Belief over Weighted Structures. LORI (2011)
Katsuhiko Sano, Minghui Ma
Goldblatt-Thomason-style Theorems for Graded Modal Language. Advances in Modal Logic (2010)
Minghui Ma
Dynamic Epistemic Logic of Finite Identification. LORI (2009)
Aijun Xu, Minghui Ma
Disaster Assessment Algorithm after Forest Fire Based on GIS. FSKD (4) (2008)