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

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., 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*. 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]