Richard Goodwin. Formalizing Properties of Agents. Journal of Logic and Computation, 5(6):763-781, 1995.
@article{Goodwin95,
title = {Formalizing Properties of Agents},
author = {Richard Goodwin},
year = {1995},
researchr = {https://researchr.org/publication/Goodwin95},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {5},
number = {6},
pages = {763-781},
}