Blar i Bergen Open Research Archive på forfatter "Alechina, Natasha"

Viser treff 1-3 av 3

    • The Expressivity of Quantified Group Announcements 

      Alechina, Natasha; van Ditmarsch, Hans; French, Tim; Galimullin, Rustam (Journal article; Peer reviewed, 2023)
      Group announcement logic (GAL) and coalition announcement logic (CAL) allow us to reason about whether it is possible for groups and coalitions of agents to achieve their desired epistemic goals through truthful public ...

    • Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power 

      Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam (Journal article; Peer reviewed, 2022)
      Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of ...

    • Verification and Strategy Synthesis for Coalition Announcement Logic 

      Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo (Journal article; Peer reviewed, 2021)
      Coalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the ...