I am a postdoctoral researcher at the Department of Information Science and Media Studies, University of Bergen. Before that, I was a postdoc at
LSV, CNRS, ENS Paris-Saclay, and even earlier I was a PhD student at the School of Computer Science, Nottingham University,
working under the supervision of Natasha Alechina. My research interests are in modal logic,
and specifically in dynamic epistemic logic.
You can reach me at first_name.last_name

Alechina, N., van Ditmarsch, H., French, T., and Galimullin, R. (2023). The Expressivity of Quantified Group Announcements.

*Journal of Logic and Computation*33(6), pages 1122–1151. OUP. [paper] [pdf]Together with Louwe B. Kuijer, I taught at a course on

*Quantification in Dynamic Epistemic Logic*. [Web page of the course with slides and reading materials]Galimullin, R. and Kuijer L. B. (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. In Verbrugge, R. editor,

*Proceedings of the 19th TARK*, volume 379 of EPTCS, pages 260–271. [paper] [pdf] [slides]Galimullin, R. and Velázquez-Quesada, F. R. (2023). (Arbitrary) Partial Communication. In Agmon, N., An, B., Ricci A., and Yeoh, W., editors,

*Proceedings of the 22nd AAMAS*, pages 400–408. IFAAMAS. [paper] [pdf] [slides] [poster]Ågotnes, T. and Galimullin, R. (2023). Quantifying over information change with common knowledge.

*Autonomous Agents and Multi-Agent Systems*37(19), 40 pages. Springer. [paper] [pdf]Galimullin, R. and Ågotnes, T. (2023). Action Models for Coalition Logic. In: Areces, C. and Costa, D., editors,

*Proceedings of the 4th DaLí*, volume 13780 of*LNCS*, 73–89. Springer. [paper] [pdf] [slides]-
Talk at the Department of Computer Science of the University of Liverpool, February, 2023. [slides] [abstract at UoL]

Galimullin, R. and Ågotnes, T. (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. In Aydoğan, R., Criado, N., Lang, J., Sanchez-Anguix, V., and Serramia, M., editors,

*Proceedings of the 24th PRIMA*, volume 13753 of*LNCS*, 563–572. Springer. [paper] [pdf] [slides]Galimullin, R., Pedersen, M.Y., and Slavkovik, M. (2022). Logic of Visibility in Social Networks. In Ciabattoni, A., Pimentel, E., and de Queiroz, R. J. G. B., editors,

*Proceedings of the 28th WoLLIC*, volume 13468 of*LNCS*, 190–206. Springer. [paper] [pdf] [slides by Mina]Galimullin, R. and Ågotnes, T. (2022). Dictatorial Dynamic Coalition Logic.

*Manuscript*. [pdf]Ågotnes, T., Alechina, N., and Galimullin, R. (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.

*Journal of Logic, Language and Information*31, pages 141–166. Springer. [paper] [pdf]Galimullin, R. and Ågotnes, T. (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. In Ghosh, S. and Icard, T., editors,

*Proceedings of the 8th LORI*, volume 13039 of LNCS, pages 88–101. Springer. [paper] [pdf] [slides]Alechina, N., van Ditmarsch, H., Galimullin, R., and Wang, T. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic.

*Journal of Logic, Language and Information*30(4), pages 671–700. Springer. [paper] [pdf] [model checker]Talk at LAMAS&SR, London (Online), May, 2021. [abstract] [slides]

van Ditmarsch, H., French, T., and Galimullin, R. (2021). No Finite Model Property for Logics of Quantified Announcements. In Halpern, J. Y., and Perea, A., editors,

*Proceedings of the 18th TARK*, volume 335 of EPTCS, pages 129–139. [paper] [pdf] [slides] [poster]Talk at Logic and Interactive Rationality (LIRa) seminar, ILLC, Amsterdam (Online), April, 2021. [slides] [video]

Galimullin, R. (2021). Coalition and Relativised Group Announcement Logic.

*Journal of Logic, Language and Information*30(3), pages 451–489. Springer. [paper] [pdf]Galimullin, R. and Ågotnes, T. (2021). Quantified Announcements and Common Knowledge. In Endriss, U., Nowé, A., Dignum., F. and Lomuscio, A., editors,

*Proceedings of the 20th AAMAS*, pages 528–536. IFAAMAS. [paper] [pdf] [slides]Galimullin, R., Ågotnes, T., and Alechina, N. (2019). Group Announcement Logic with Distributed Knowledge. In Blackburn, P., and Lorini, E., editors,

*Proceedings of the 7th LORI*, volume 11813 of*LNCS*, 98–111. Springer. [paper] [pdf] [slides]Perrotin, E., Galimullin, R., Canu, Q., and Alechina, N. (2019). Public Group Announcements and Trust in Doxastic Logic. In Blackburn, P., and Lorini, E., editors,

*Proceedings of the 7th LORI*, volume 11813 of*LNCS*, 199–213. Springer. [paper] [pdf] [slides by Elise]Galimullin, R. (2019) Coalition announcements. PhD Thesis, University of Nottingham, UK. [thesis]

French, T., Galimullin, R., van Ditmarsch, H., and Alechina, N. (2019). Groups versus coalitions: on the relative expressivity of GAL and CAL. In Agmon, N., Taylor, M. E., Elkind, E., and Veloso M., editors,

*Proceedings of the 18th AAMAS*, pages 953–961. IFAAMAS. [paper] [pdf] [slides] [poster]Galimullin, R., Alechina, N., and van Ditmarsch, H. (2018). Model checking for coalition announcement logic. In Trollmann, F. and Turhan, A.-Y., editors,

*KI 2018: Advances in Artificial Intelligence*, volume 11117 of*LNCS*, pages 11–23. Springer. [paper] [pdf] [slides] [student paper award]Galimullin, R. and Alechina, N. (2017). Coalition and group announcement logic. In Lang, J., editor,

*Proceedings of the 16th TARK*, volume 251 of*EPTCS*, pages 207–220. [paper] [pdf] [poster] [corrected version of the paper]Presentation at NASSLLI 2016 [slides]