Natasha Alechina
Author
Alternate names Natasha Alechina, N. Alechina, N.A. Alechina
Institutions Hong Kong Metropolitan University, Utrecht University
Past institutions Open University of the Netherlands, Utrecht University, Hong Kong Metropolitan University, University of Nottingham Ningbo China, University of Aberdeen +5 more
ORCID: Yes
H-index: 22
I10-index: 61
Works count: 191
Citations count: 1,741
Categorical and Kripke Semantics for Constructive S4 Modal Logic
2001 · Natasha Alechina, Michael Mendler, et al. · Lecture notes in computer science
Programming norm-aware agents
2012 · Natasha Alechina, Mehdi Dastani, et al. · Adaptive Agents and Multi-Agents Systems
Logic for coalitions with bounded resources
2010 · Natasha Alechina, Brian Logan, et al. · Journal of Logic and Computation