A fully abstract model for graph-interpreted temporal logic