10 citations · 18 across the 14 of their papers we have counts for
6 papers · 1 filter
Modal Logic for Simulation, Refinement, and Mutual Ignorance
Hans van Ditmarsch, Tim French, Rustam Galimullin +1
Simulation and refinement are variations of the bisimulation relation, where in the former we keep only atoms and forth, and in the latter only atoms and back. Quantifying over sim…
Formal Verification of Diffusion Auctions
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
In diffusion auctions, sellers can leverage an underlying social network to broaden participation, thereby increasing their potential revenue. Specifically, sellers can incentivise…
First-Order Coalition Logic
Davide Catta, Rustam Galimullin, Aniello Murano
We introduce First-Order Coalition Logic (), which combines key intuitions behind Coalition Logic () and Strategy Logic (). Specifically, $…
Varieties of Distributed Knowledge
Rustam Galimullin, Louwe B. Kuijer
Distributed knowledge is one of the better known group knowledge modalities. While its intuitive idea is relatively clear, there is ample room for interpretation of details. We inv…
Anonymous Public Announcements
Thomas Ågotnes, Rustam Galimullin, Ken Satoh +1
We formalise the notion of an anonymous public announcement in the tradition of public announcement logic. Such announcements can be seen as in-between a public announcement from `…
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann +1
The design and application of multi-agent systems (MAS) require reasoning about the effects of modifications on their underlying structure. In particular, such changes may impact t…