Chen, Jinsheng
- Syntactic completeness of proper display calculi
2021/02/23 by Jinsheng Chen, G. Greco, Chen, Jinsheng +5 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems
- A Labelled Sequent Calculus for Public Announcement Logic
2022/07/21 by Wu, Hao, van Ditmarsch, Hans, Chen, Jinsheng · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)