Rustam Galimullin
Postdoctoral Fellow
- E-mailRustam.Galimullin@uib.no
- Visitor AddressFosswinckels gate 6Lauriz Meltzers hus5007 Bergen
- Postal AddressPostboks 78025020 Bergen
Check out my website for an up-to-date list of publications.
Autumn 2021, Knowledge Representation and Reasoning (INFO282 21H)
Academic article
- (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information. 671-700.
- (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information. 451-489.
Academic chapter/article/Conference paper
- (2021). Quantified Announcements and Common Knowledge. 9 pages.
- (2021). No Finite Model Property for Logics of Quantified Announcements. 10 pages.
- (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 14 pages.
More information in national current research information system (CRIStin)
Fields of competence