Rustam Galimullin
Postdoctoral Fellow
- E-mailrustam.galimullin@uib.no
- Visitor AddressFosswinckels gate 6Lauritz Meltzers hus5007 Bergen
- Postal AddressPostboks 78025020 Bergen
Check out my website for an up-to-date list of publications.
Academic article
- (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information. 141-166.
- (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
- (2022). Logic of Visibility in Social Networks. 17 pages.
- (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. 10 pages.
- (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)