From the 1 of 28 papers with an AI index.
9 citations
- Centre National de la Recherche ScientifiqueFR15 papers
- Institut de Recherche en Informatique de ToulouseFR11 papers
- Université Toulouse-I-CapitoleFR11 papers
- Université Toulouse III - Paul SabatierFR11 papers
- Université Toulouse - Jean JaurèsFR11 papers
- Université de BordeauxFR8 papers
- Institut de Mathématiques de BordeauxFR4 papers
- Institut de Mathématiques de MarseilleFR4 papers
- Château GombertFR3 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR3 papers
- Université Paris 1 Panthéon-SorbonneFR3 papers
- Aix-Marseille UniversitéFR2 papers
3 papers · 1 filter
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
Dynamic Hypersequents for Public Announcement Logic
Clara Lerouvillois, Francesca Poggiolesi
Dynamic Epistemic Logic extends classical epistemic logic by modeling not only static knowledge but also its evolution through information updates. Among its various systems, Publi…
Guarded Negation Transitive Closure Logic
Diego Figueira, Santiago Figueira, Yoshiki Nakamura
We study the guarded negation fragment of transitive closure logic (GNTC). We show that the satisfiability problem for GNTC is 2ExpTime-complete, by establishing the following redu…