Yì N. Wáng | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙