10 citations · 24 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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.LO2018
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…