Yì N. Wáng | DeepAI

DeepAI

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

Featured Co-authors

Thomas Ågotnes
3 publications

research

∙ 04/05/2020

Simpler completeness proofs for modal logics with intersection

There has been a significant interest in extending various modal logics ...

0 Yì N. Wáng, et al. ∙

research

∙ 06/24/2016

Resolving Distributed Knowledge

Distributed knowledge is the sum of the knowledge in a group; what someo...

0 Thomas Ågotnes, et al. ∙