10 citations · 13 across the 2 of their papers we have counts for
3 papers
cs.LO2021★ 3 cited
No Finite Model Property for Logics of Quantified Announcements
Hans van Ditmarsch, Tim French, Rustam Galimullin
Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announ…
cs.LO2018
Coalition and Group Announcement Logic
Rustam Galimullin, Natasha Alechina
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notab…
cs.LO2017★ 10 cited
Coalition and Group Announcement Logic
Rustam Galimullin, Natasha Alechina
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notab…