314 citations
- Université d'Évry Val-d'EssonneFR19 papers
- Centre National de la Recherche ScientifiqueFR15 papers
- Université Paris-SaclayFR12 papers
- LIP6FR10 papers
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Sorbonne UniversitéFR6 papers
- Université Pierre-et-Marie-CurieFR5 papers
- Institut de Recherche en Informatique de ToulouseFR4 papers
- Institut Polytechnique de BordeauxFR3 papers
- Universidade Estadual de Campinas (UNICAMP)BR3 papers
- Université Gustave EiffelFR3 papers
- Université Paris CitéFR3 papers
Showing 2017Show all
2 papers · 1 filter
cs.AI2017★ 7 cited
Relaxing Exclusive Control in Boolean Games
Francesco Belardinelli, Umberto Grandi, Andreas Herzig +4
In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are…
cs.LO2017★ 4 cited
A Logic for Global and Local Announcements
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- and indexed t…