Tiago de Lima | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Emiliano Lorini
13 publications
François Schwarzentruber
11 publications
Andreas Herzig
10 publications

research

∙ 07/27/2023

Base-based Model Checking for Multi-Agent Only Believing (long version)

We present a novel semantics for the language of multi-agent only believ...

0 Tiago de Lima, et al. ∙

research

∙ 06/09/2014

Tableaux for Dynamic Logic of Propositional Assignments

The Dynamic Logic for Propositional Assignments (DL-PA) has recently bee...

0 Tiago de Lima, et al. ∙