10 citations · 18 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
Resource Logics with a Diminishing Resource
Natasha Alechina, Brian Logan
Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption…
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…
Completeness of Epistemic Coalition Logic with Group Knowledge
Thomas Ågotnes, Natasha Alechina
Coalition logic is one of the most popular logics for multi-agent systems. While epistemic extensions of coalition logic have received much attention, existence of their complete a…