“…In recent literature on Computer Science and Artificial Intelligence, temporal languages to specify dynamic properties of processes have been put forward; for example, Dardenne, Lamsweerde and Fickas, 1993;Dubois, Du Bois and Zeipen, 1995;Herlea, Jonker, Treur, and Wijngaards, 1999). To specify properties on the dynamics of reasoning processes in particular, the temporal trace language TTL used in (Herlea et al, 1999;Jonker and Treur, 1998) is adopted.…”