Olivier Roy | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Marta Bílková
5 publications
Zoé Christoff
5 publications
Huimin Dong
2 publications

research

∙ 10/09/2021

Dynamic Logic of Legal Competences

We propose a new formalization of legal competences, and in particular f...

0 Huimin Dong, et al. ∙

research

∙ 06/22/2021

Revisiting Epistemic Logic with Names

This paper revisits the multi-agent epistemic logic presented in [10], w...

0 Marta Bílková, et al. ∙