Rustam Galimullin

Postdoctoral Fellow

Check out my website for an up-to-date list of publications.

Autumn 2021, Knowledge Representation and Reasoning (INFO282 21H)

Autumn 2022, Blockchain technology and formal methods (INFO384 22H)

Academic article

Show author(s) (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information. 141-166.

Show author(s) (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information. 671-700.
Show author(s) (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information. 451-489.

Academic chapter/article/Conference paper

Show author(s) (2022). Logic of Visibility in Social Networks. 17 pages.
Show author(s) (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. 10 pages.

Show author(s) (2021). Quantified Announcements and Common Knowledge. 9 pages.
Show author(s) (2021). No Finite Model Property for Logics of Quantified Announcements. 10 pages.
Show author(s) (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 14 pages.

Fields of competence