Brian Logan's Publications

Modelling Norm Specification and Verification in Multiagent Systems (2018)

By: Natasha Alechina, Mehdi Dastani, and Brian Logan

Download Information

Natasha Alechina, Mehdi Dastani, and Brian Logan (2018). "Modelling Norm Specification and Verification in Multiagent Systems." Journal of Applied Logics -- IfCoLog Journal of Logics and their Applications, 5(2), 457-490.

Bibtex citation

@article{Alechina//:18d,
author =    "Natasha Alechina and Mehdi Dastani and Brian Logan",
title =    "Modelling Norm Specification and Verification in Multiagent Systems",
journal =    "Journal of Applied Logics -- {IfCoLog} Journal of Logics and their Applications",
year =    2018,
volume =    5,
number =    2,
pages =    "457--490",
}

---

full list