Follow
Minghui Ma
Minghui Ma
Verified email at mail.sysu.edu.cn
Title
Cited by
Cited by
Year
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation, 2016
892016
Algebraic semantics and model completeness for intuitionistic public announcement logic
M Ma, A Palmigiano, M Sadrzadeh
Annals of Pure and Applied Logic 165 (4), 963-995, 2014
572014
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
M Ma, AV Pietarinen
Journal of Philosophical Logic 47, 913-945, 2018
252018
Unified correspondence and proof theory for strict implication
M Ma, Z Zhao
Journal of Logic and Computation, 2016
242016
Gamma graph calculi for modal logics
M Ma, AV Pietarinen
Synthese, 1-30, 2017
232017
A graphical deep inference system for intuitionistic logic
M Minghui, AV Pietarinen
Logique et Analyse 245, 73-114, 2019
222019
Proof Analysis of Peirce’s Alpha System of Graphs
M Ma, AV Pietarinen
Studia Logica, 1-23, 2016
222016
A dynamic approach to Peirce’s interrogative construal of abductive logic
M Ma, AV Pietarinen
IfCoLog Journal of Logics and their Applications 1 (3), 73-104, 2016
212016
Peirce’s calculi for classical propositional logic
M Ma, AV Pietarinen
The Review of Symbolic Logic 13 (3), 509-540, 2020
202020
Covering-based rough sets and modal logics. Part I
M Ma, MK Chakraborty
International Journal of Approximate Reasoning 77, 55-65, 2016
192016
How to update neighbourhood models
M Ma, K Sano
Journal of Logic and Computation, 2015
182015
Peirce’s sequent proofs of distributivity
M Ma, AV Pietarinen
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2016
132016
Mathematics of public announcements
M Ma
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011 …, 2011
122011
Covering-based rough sets and modal logics. Part II
M Ma, MK Chakraborty
International Journal of Approximate Reasoning 95, 113-123, 2018
112018
A weakening of alpha graphs: quasi-boolean algebras
M Ma, AV Pietarinen
Diagrammatic Representation and Inference: 10th International Conference …, 2018
112018
Graphical sequent calculi for modal logics
M Ma, AV Pietarinen
arXiv preprint arXiv:1703.02197, 2017
112017
A modal logic for multiple-source tolerance approximation spaces
MA Khan, M Ma
Logic and Its Applications. LNCS (LNAI) 6521, 124-136, 2011
102011
Goldblatt-Thomason-style Theorems for Graded Modal Language.
K Sano, M Ma
Advances in Modal Logic 2010, 330-349, 2010
102010
Sequent calculi for semi-De Morgan and De Morgan algebras
M Ma, F Liang
Studia Logica 106 (3), 565-593, 2018
72018
Sequent calculi for varieties of topological quasi-Boolean algebras
M Ma, MK Chakraborty, Z Lin
Rough Sets: International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam …, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20