Zhe Lin

activity

20142023

most citedResiduated Basic Logic I

2 citations · 3 across the 5 of their papers we have counts for

collaborators

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 $K_{2}^{3} = K \oplus □□ p \to □□□ p$ is established. This modal logic is conservatively…

cs.LO2014

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus

Zhe Lin, Minghui Ma

We analyze the complexity of decision problems for Boolean Nonassociative Lambek Calculus admitting empty antecedent of sequents ( $BFN L^{*}$ ), and the consequence relation o…