Hongkui Kang

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Proof Theoretic

Propositional Dynamic Logic

Table Of Contents

Expressive Power

Top Venues

Publications

Shan Du, Hongkui Kang
On Pretabular Logics in NExtK4 (Part I). Stud Logica 102 (3) (2014)