Minghui Ma

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Voiculescu's Theorem in Properly Infinite Factors	2024	Don Hadwin Minghui Ma Junhao Shen
+	Modal Logic of Generalized Separated Topological Spaces	2023	Qian Chen Minghui Ma
+	Finite Model Property of Pretransitive Modal Logic.	2018	Zhe Lin Minghui Ma
+	The Finite Model Property of Quasi-transitive Modal Logic	2018	Zhe Lin Minghui Ma
+ PDF Chat	Sequent Calculi for Semi-De Morgan and De Morgan Algebras	2017	Minghui Ma Fei Liang
+ PDF Chat	Graphical Sequent Calculi for Modal Logics	2017	Minghui Ma Ahti‐Veikko Pietarinen
+	Proof Analysis of Peirce’s Alpha System of Graphs	2016	Minghui Ma Ahti‐Veikko Pietarinen
+ PDF Chat	Unified correspondence as a proof-theoretic tool	2016	Giuseppe Greco Minghui Ma Alessandra Palmigiano Apostolos Tzimoulis Zhiguang Zhao
+ PDF Chat	Unified correspondence and proof theory for strict implication	2016	Minghui Ma Zhiguang Zhao
+	Unified Correspondence as a Proof-Theoretic Tool	2016	Giuseppe Greco Minghui Ma Alessandra Palmigiano Apostolos Tzimoulis Zhiguang Zhao
+	Sequent Calculi for Semi-De Morgan and De Morgan Algebras	2016	Minghui Ma Fei Liang
+	Residuated Basic Logic II. Interpolation, Decidability and Embedding	2014	Minghui Ma Zhe Lin

Common Coauthors

Coauthor	Papers Together
Zhe Lin	3
Zhiguang Zhao	3
Giuseppe Greco	2
Alessandra Palmigiano	2
Ahti‐Veikko Pietarinen	2
Apostolos Tzimoulis	2
Don Hadwin	1
Qian Chen	1
Junhao Shen	1
Fei Liang	1
Fei Liang	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics	2011	Rajeev Goré Linda Postniece Alwen Tiu	3
+ PDF Chat	Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA	2006	Willem Conradie Valentin Goranko Dimiter Vakarelov	3
+ PDF Chat	Dual characterizations for finite lattices via correspondence theory for monotone modal logic	2016	Sabine Frittella Alessandra Palmigiano Luigi Santocanale	2
+ PDF Chat	Sahlqvist theory for impossible worlds	2016	Alessandra Palmigiano Sumit Sourabh Zhiguang Zhao	2
+ PDF Chat	Multi-type display calculus for dynamic epistemic logic	2014	Sabine Frittella Giuseppe Greco Alexander Kurz Alessandra Palmigiano Vlasta Sikimić	2
+ PDF Chat	Canonicity results for mu-calculi: an algorithmic approach	2017	Willem Conradie Andrew Craig	2
+	Algorithmic correspondence and canonicity for non-distributive logics	2019	Willem Conradie Alessandra Palmigiano	2
+ PDF Chat	A proof-theoretic semantic analysis of dynamic epistemic logic	2014	Sabine Frittella Giuseppe Greco Alexander Kurz Alessandra Palmigiano Vlasta Sikimić	2
+	On the Representation of Quasi-Boolean Algebras	1957	Andrzej Białynicki-Birula Helena Rasiowa	2
+ PDF Chat	The monadic second-order logic of graphs XVI : Canonical graph decompositions	2006	Bruno Courcelle	2
+	Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA	2015	Willem Conradie Alessandra Palmigiano Sumit Sourabh Zhiguang Zhao	2
+ PDF Chat	Multi-type display calculus for propositional dynamic logic	2014	Sabine Frittella Giuseppe Greco Alexander Kurz Alessandra Palmigiano	2
+	Notes on Craig interpolation for LJ with strong negation	2011	Norihiro Kamide	2
+ PDF Chat	Finitely generated free Heyting algebras via Birkhoff duality and coalgebra	2011	Nick Bezhanishvili Mai Gehrke	2
+ PDF Chat	Structural Extensions of Display Calculi: A General Recipe	2013	Agata Ciabattoni Revantha Ramanayake	1
+	Constructive canonicity for lattice-based fixed point logics	2016	Willem Conradie Andrew Craig Alessandra Palmigiano Zhiguang Zhao	1
+ PDF Chat	Categories: How I Learned to Stop Worrying and Love Two Sorts	2016	Willem Conradie Sabine Frittella Alessandra Palmigiano Michele Piazzai Apostolos Tzimoulis Nachoem M. Wijnberg	1
+	Structural Multi-type Sequent Calculus for Inquisitive Logic	2016	Sabine Frittella Giuseppe Greco Alessandra Palmigiano Fan Yang	1
+	A Multi-type Calculus for Inquisitive Logic	2016	Sabine Frittella Giuseppe Greco Alessandra Palmigiano Fan Yang	1
+	Multi-type Sequent Calculi	2016	Sabine Frittella Giuseppe Greco Alexander Kurz Alessandra Palmigiano Vlasta Sikimić	1
+ PDF Chat	Graphical Sequent Calculi for Modal Logics	2017	Minghui Ma Ahti‐Veikko Pietarinen	1
+ PDF Chat	THE LOGIC OF RESOURCES AND CAPABILITIES	2018	Marta Bílková Giuseppe Greco Alessandra Palmigiano Apostolos Tzimoulis Nachoem M. Wijnberg	1
+ PDF Chat	Unified correspondence as a proof-theoretic tool	2016	Giuseppe Greco Minghui Ma Alessandra Palmigiano Apostolos Tzimoulis Zhiguang Zhao	1
+	Algebraic modal correspondence: Sahlqvist and beyond	2016	Willem Conradie Alessandra Palmigiano Sumit Sourabh	1
+ PDF Chat	New separation axioms in generalized bitopological spaces	2020	Amar Kumar Banerjee Jagannath Pal	1
+ PDF Chat	On the proof complexity of deep inference	2009	Paola Bruscoli Alessio Guglielmi	1
+	Separation Axioms	1996	Iain T. Adamson	1
+ PDF Chat	Ergebnisse eines mathematischen Kolloquiums	1932	Hans Hahn	1