Minghui Ma

Unified correspondence as a proof-theoretic tool

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano et al. · Journal of Logic and Computation · 2016 · 45 citations · Full text

Engineering, Classical Logic, Verification +19

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh · Annals of Pure and Applied Logic · 2014 · 42 citations · Full text

Model Completeness, Non-classical Logic, Engineering +10

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

Minghui Ma, Ahti‐Veikko Pietarinen · Journal of Philosophical Logic · 2018 · 33 citations

Computational Logic, Formal Logic, Abductive Reasoning +4

Covering-based rough sets and modal logics. Part I

Minghui Ma, Mihir K. Chakraborty · International Journal of Approximate Reasoning · 2016 · 28 citations

Engineering, Substructural Logic, Automated Reasoning +4

Gamma graph calculi for modal logics

Minghui Ma, Ahti‐Veikko Pietarinen · Synthese · 2017 · 23 citations

Engineering, Graph Theory, Automated Reasoning +6