Rustam Galimullin

Associate Professor

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

Autumn 2023, Blockchain technology and formal methods (INFO384 23H)

Autumn 2023, Introduction to Artificial Intelligence (AIKI100 23H)

Spring 2023, Artificial Agents (AIKI110 23V)

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

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

Academic article

Show author(s) (2023). Visibility and exploitation in social networks. Mathematical Structures in Computer Science. 1-30.
Show author(s) (2023). The Expressivity of Quantified Group Announcements. Journal of Logic and Computation. 1122-1151.
Show author(s) (2023). Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems. 40 pages.

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 anthology/Conference proceedings

Show author(s) (2023). Proceedings of the 5th Symposium of the Norwegian AI Society (NAIS 2023). NAIS Norwegian Artificial Intelligence Society.

Academic chapter/article/Conference paper

Show author(s) (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. 12 pages.
Show author(s) (2023). Action Models for Coalition Logic. 17 pages.
Show author(s) (2023). (Arbitrary) Partial Communication. 9 pages.

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

Research groups