• E-mailrustam.galimullin@uib.no
  • Visitor Address
    Fosswinckels gate 6
    Lauritz Meltzers hus
    5007 Bergen
  • Postal Address
    Postboks 7802
    5020 Bergen

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.

More information in national current research information system (CRIStin)