Coalition announcements R Galimullin University of Nottingham, 2019 | 17 | 2019 |
Coalition and group announcement logic R Galimullin, N Alechina arXiv preprint arXiv:1707.08746, 2017 | 14 | 2017 |
Coalition and relativised group announcement logic R Galimullin Journal of Logic, Language and Information 30, 451-489, 2021 | 12 | 2021 |
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 |
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 | 8 | 2018 |
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 | 7 | 2022 |
Quantified announcements and common knowledge R Galimullin, T Ågotnes Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 7 | 2021 |
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 | 7 | 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 | 5 | 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 | 5 | 2021 |
Dynamic coalition logic: granting and revoking dictatorial powers R Galimullin, T Ågotnes Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021 …, 2021 | 5 | 2021 |
No finite model property for logics of quantified announcements H van Ditmarsch, T French, R Galimullin arXiv preprint arXiv:2106.11498, 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 |
Quantifying over information change with common knowledge T Ågotnes, R Galimullin Autonomous Agents and Multi-Agent Systems 37 (1), 19, 2023 | 3 | 2023 |
Logic of visibility in social networks R Galimullin, MY Pedersen, M Slavkovik International Workshop on Logic, Language, Information, and Computation, 190-206, 2022 | 3 | 2022 |
Action models for coalition logic R Galimullin, T Ågotnes International Workshop on Dynamic Logic, 73-89, 2022 | 3 | 2022 |
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 |
Visibility and exploitation in social networks R Galimullin, MY Pedersen Mathematical Structures in Computer Science 34 (7), 615-644, 2024 | 1 | 2024 |
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents V Dolgorukov, R Galimullin, M Gladyshev arXiv preprint arXiv:2401.13369, 2024 | 1 | 2024 |