8 citations · 8 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
The Finite Model Property of Quasi-transitive Modal Logic
Zhe Lin, Minghui Ma
The finite model property of quasi-transitive modal logic is established. This modal logic is conservatively…
cs.LO2017★ 8 cited
Graphical Sequent Calculi for Modal Logics
Minghui Ma, Ahti-Veikko Pietarinen
The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential grap…