| Unified correspondence as a proof-theoretic tool G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao Journal of Logic and Computation, 2016 | 89 | 2016 |
| 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 | 57 | 2014 |
| Let us investigate! Dynamic conjecture-making as the formal logic of abduction M Ma, AV Pietarinen Journal of Philosophical Logic 47, 913-945, 2018 | 25 | 2018 |
| Unified correspondence and proof theory for strict implication M Ma, Z Zhao Journal of Logic and Computation, 2016 | 24 | 2016 |
| Gamma graph calculi for modal logics M Ma, AV Pietarinen Synthese, 1-30, 2017 | 23 | 2017 |
| A graphical deep inference system for intuitionistic logic M Minghui, AV Pietarinen Logique et Analyse 245, 73-114, 2019 | 22 | 2019 |
| Proof Analysis of Peirce’s Alpha System of Graphs M Ma, AV Pietarinen Studia Logica, 1-23, 2016 | 22 | 2016 |
| 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 | 21 | 2016 |
| Peirce’s calculi for classical propositional logic M Ma, AV Pietarinen The Review of Symbolic Logic 13 (3), 509-540, 2020 | 20 | 2020 |
| Covering-based rough sets and modal logics. Part I M Ma, MK Chakraborty International Journal of Approximate Reasoning 77, 55-65, 2016 | 19 | 2016 |
| How to update neighbourhood models M Ma, K Sano Journal of Logic and Computation, 2015 | 18 | 2015 |
| Peirce’s sequent proofs of distributivity M Ma, AV Pietarinen Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2016 | 13 | 2016 |
| Mathematics of public announcements M Ma Logic, Rationality, and Interaction: Third International Workshop, LORI 2011 …, 2011 | 12 | 2011 |
| Covering-based rough sets and modal logics. Part II M Ma, MK Chakraborty International Journal of Approximate Reasoning 95, 113-123, 2018 | 11 | 2018 |
| A weakening of alpha graphs: quasi-boolean algebras M Ma, AV Pietarinen Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 11 | 2018 |
| Graphical sequent calculi for modal logics M Ma, AV Pietarinen arXiv preprint arXiv:1703.02197, 2017 | 11 | 2017 |
| A modal logic for multiple-source tolerance approximation spaces MA Khan, M Ma Logic and Its Applications. LNCS (LNAI) 6521, 124-136, 2011 | 10 | 2011 |
| Goldblatt-Thomason-style Theorems for Graded Modal Language. K Sano, M Ma Advances in Modal Logic 2010, 330-349, 2010 | 10 | 2010 |
| Sequent calculi for semi-De Morgan and De Morgan algebras M Ma, F Liang Studia Logica 106 (3), 565-593, 2018 | 7 | 2018 |
| 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 | 7 | 2018 |
Ahti-Veikko PietarinenProfessor, Hong Kong Baptist UniversityVerified email at ttu.ee
