N
Natasha Alechina
Researcher at University of Nottingham
Publications - 163
Citations - 2036
Natasha Alechina is an academic researcher from University of Nottingham. The author has contributed to research in topics: Decidability & Model checking. The author has an hindex of 23, co-authored 156 publications receiving 1879 citations. Previous affiliations of Natasha Alechina include Information Technology University & University of Amsterdam.
Papers
More filters
Journal ArticleDOI
The Expressivity of Quantified Group Announcements
TL;DR: In this article , the relative expressivity of group announcement logic and coalition announcement logic is studied and some results involving their more well-known sibling APAL are discussed, as well as how the presence of memory alters the relationship between groups and coalition.
Proceedings Article
Logics with an existential modality
Natasha Alechina,Dmitry Shkatov +1 more
TL;DR: The former gives an axiomatisation of the logic PDL path introduced in (3), and the latter is extended with a single nominal, extended with #.
Journal ArticleDOI
Efficient minimal preference change
TL;DR: This article characterise minimal contraction of preference sets by a set of postulates and prove a representation theorem, and defines minimal change preference contraction and revision operations in the spirit of the Alchourron, Gardenfors, and Makinson theory of belief revision.
Resource logics with a diminishing resource: extended abstract
Natasha Alechina,Brian Logan +1 more
TL;DR: It is shown that model-checking resource logics with production and consumption of resources is more feasible under the assumption that there is at least one diminishing resource, that is, a resource which is consumed by every action.
Proceedings ArticleDOI
A logic of part and whole for buffered geometries
Heshan Du,Natasha Alechina +1 more
TL;DR: A sound and complete axiomatisation of the logic with respect to metric models is provided, and it is shown that its satisfiability problem is NP-complete.