Jinsheng Chen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Hao Wu
145 publications
Hans van Ditmarsch
24 publications
Alessandra Palmigiano
9 publications
Apostolos Tzimoulis
9 publications
Giuseppe Greco
6 publications

research

∙ 07/21/2022

A Labelled Sequent Calculus for Public Announcement Logic

Public announcement logic(PAL) is an extension of epistemic logic (EL) w...

0 Hao Wu, et al. ∙

research

∙ 02/23/2021

Syntactic completeness of proper display calculi

A recent strand of research in structural proof theory aims at exploring...

0 Jinsheng Chen, et al. ∙