Minghui Ma | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Zhe Lin
100 publications

research

∙ 02/26/2018

The Finite Model Property of Quasi-transitive Modal Logic

The finite model property of the quasi-transitive modal logic K_2^3=K⊕ p...

0 Zhe Lin, et al. ∙

research

∙ 02/26/2018

Finite Model Property of Pretransitive Modal Logic

The finite model property of the pretransitive modal logic K_2,3=K⊕ p→ p...

0 Zhe Lin, et al. ∙

Success!

An error occurred