Hjem
  • E-postRustam.Galimullin@uib.no
  • Besøksadresse
    Fosswinckels gate 6
    Lauriz Meltzers hus
    5007 Bergen
  • Postadresse
    Postboks 7802
    5020 Bergen

Høst 2021, Knowledge Representation and Reasoning INFO282 H21

Vitenskapelig artikkel
  • Vis forfatter(e) (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information. 671-700.
  • Vis forfatter(e) (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information. 451-489.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Vis forfatter(e) (2021). Quantified Announcements and Common Knowledge. 9 sider.
  • Vis forfatter(e) (2021). No Finite Model Property for Logics of Quantified Announcements. 10 sider.
  • Vis forfatter(e) (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 14 sider.

Se fullstendig oversikt over publikasjoner i CRIStin.

Komplett liste over publikasjoner er på min nettside.

Kompetansefelt