| Coalition announcements R Galimullin University of Nottingham, 2019 | 16 | 2019 |
| Coalition and group announcement logic R Galimullin, N Alechina arXiv preprint arXiv:1707.08746, 2017 | 14 | 2017 |
| 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 | 12 | 2019 |
| Coalition and relativised group announcement logic R Galimullin Journal of Logic, Language and Information 30, 451-489, 2021 | 11 | 2021 |
| Group announcement logic with distributed knowledge R Galimullin, T Ågotnes, N Alechina Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019 …, 2019 | 8 | 2019 |
| 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 | 7 | 2018 |
| Quantified announcements and common knowledge R Galimullin, T Ågotnes Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 6 | 2021 |
| 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 | 5 | 2022 |
| 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 | 5 | 2019 |
| 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 | 4 | 2022 |
| No finite model property for logics of quantified announcements H van Ditmarsch, T French, R Galimullin arXiv preprint arXiv:2106.11498, 2021 | 4 | 2021 |
| Dynamic coalition logic: granting and revoking dictatorial powers R Galimullin, T Ågotnes Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 4 | 2021 |
| Separating Non-Determinisic Finite State Machines with Time-Outs R Galimullin, N Shabaldina Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2011 | 4 | 2011 |
| Action models for coalition logic R Galimullin, T Ågotnes International Workshop on Dynamic Logic, 73-89, 2022 | 3 | 2022 |
| 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 | 3 | 2021 |
| On deriving test suites for nondeterministic finite state machines with time-outs NV Shabaldina, RF Galimullin Programming and Computer Software 38, 127-133, 2012 | 3 | 2012 |
| Quantifying over information change with common knowledge T Ågotnes, R Galimullin Autonomous Agents and Multi-Agent Systems 37 (1), 19, 2023 | 2 | 2023 |
| Logic of visibility in social networks R Galimullin, MY Pedersen, M Slavkovik International Workshop on Logic, Language, Information, and Computation, 190-206, 2022 | 2 | 2022 |
| The expressivity of quantified group announcements N Alechina, H Van Ditmarsch, T French, R Galimullin Journal of Logic and Computation 33 (6), 1122-1151, 2023 | 1 | 2023 |
| (Arbitrary) Partial Communication R Galimullin, FR Velázquez-Quesada arXiv preprint arXiv:2302.12090, 2023 | 1 | 2023 |
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtVerified email at uu.nl
