1 citations · 1 across the 5 of their papers we have counts for
5 papers · 1 filter
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 `…
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev
Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi…
(Arbitrary) Partial Communication
Rustam Galimullin, Fernando R. Velázquez-Quesada
Communication within groups of agents has been lately the focus of research in dynamic epistemic logic (DEL). This paper studies a recently introduced form of partial (more precise…