Follow
Rustam Galimullin
Title
Cited by
Cited by
Year
Coalition announcements
R Galimullin
University of Nottingham, 2019
172019
Coalition and group announcement logic
R Galimullin, N Alechina
arXiv preprint arXiv:1707.08746, 2017
142017
Coalition and relativised group announcement logic
R Galimullin
Journal of Logic, Language and Information 30, 451-489, 2021
122021
Groups versus coalitions: On the relative expressivity of GAL and CAL
T French, R Galimullin, H Van Ditmarsch, N Alechina
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
122019
Group announcement logic with distributed knowledge
R Galimullin, T Ågotnes, N Alechina
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019
82019
Model checking for coalition announcement logic
R Galimullin, N Alechina, H van Ditmarsch
KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI …, 2018
82018
Logics with group announcements and distributed knowledge: Completeness and expressive power
T Ågotnes, N Alechina, R Galimullin
Journal of Logic, Language and Information 31 (2), 141-166, 2022
72022
Quantified announcements and common knowledge
R Galimullin, T Ågotnes
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
72021
Public group announcements and trust in doxastic logic
E Perrotin, R Galimullin, Q Canu, N Alechina
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019
72019
Coalition logic for specification and verification of smart contract upgrades
R Galimullin, T Ågotnes
International Conference on Principles and Practice of Multi-Agent Systems …, 2022
52022
Verification and strategy synthesis for coalition announcement logic
N Alechina, H van Ditmarsch, R Galimullin, T Wang
Journal of Logic, Language and Information 30, 671-700, 2021
52021
Dynamic coalition logic: granting and revoking dictatorial powers
R Galimullin, T Ågotnes
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021
52021
No finite model property for logics of quantified announcements
H van Ditmarsch, T French, R Galimullin
arXiv preprint arXiv:2106.11498, 2021
42021
Separating Non-Determinisic Finite State Machines with Time-Outs
R Galimullin, N Shabaldina
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2011
42011
Quantifying over information change with common knowledge
T Ågotnes, R Galimullin
Autonomous Agents and Multi-Agent Systems 37 (1), 19, 2023
32023
Logic of visibility in social networks
R Galimullin, MY Pedersen, M Slavkovik
International Workshop on Logic, Language, Information, and Computation, 190-206, 2022
32022
Action models for coalition logic
R Galimullin, T Ågotnes
International Workshop on Dynamic Logic, 73-89, 2022
32022
On deriving test suites for nondeterministic finite state machines with time-outs
NV Shabaldina, RF Galimullin
Programming and Computer Software 38, 127-133, 2012
32012
Visibility and exploitation in social networks
R Galimullin, MY Pedersen
Mathematical Structures in Computer Science 34 (7), 615-644, 2024
12024
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
V Dolgorukov, R Galimullin, M Gladyshev
arXiv preprint arXiv:2401.13369, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20