9 papers
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
Rustam Galimullin, Hermine Grosinger, Munyque Mittelmann
Autonomous agents acting in realistic Multi-Agent Systems (MAS) should be able to adapt during their execution. Standard strategic logics, such as Alternating-time Temporal Logic (…
On Angels and Demons: Strategic (De)Construction of Dynamic Models
Davide Catta, Rustam Galimullin, Munyque Mittelmann
In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of researc…
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…