  In artificial intelligence, multi agent systems constitute an interesting
typology of society modeling, and have in this regard vast fields of
application, which extend to the human sciences. Logic is often used to model
such kind of systems as it is easier to verify the explainability and
validation, so for this reason we have tried to manage agents' memory extending
a previous work by inserting the concept of time.
