Home
  • E-mailRustam.Galimullin@uib.no
  • Visitor Address
    Fosswinckels gate 6
    Lauriz 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)

Academic article
  • 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) (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)

Fields of competence