  This paper presents a comprehensive framework for run-time self-checking of
logical agents, by means of temporal axioms to be dynamically checked. These
axioms are specified by using an agent-oriented interval temporal logic defined
to this purpose. We define syntax, semantics and pragmatics for this new logic,
specifically tailored for application to agents. In the resulting framework, we
encompass and extend our past work.
