Instructional Design, the pedagogical technique typically used to design Computer Based Education software, including Intelligent Tutoring Systems, relies on a set of correctness metrics called Instructional Integrity. Hereby, curricula should describe, in unambiguous terms, the structure of the information any student must acquire. A time interval is expected to have elapsed upon each transition
... [Show full abstract] among these states. It is assumed that knowledge must have been transferred to the student at the end of each interval. This is clearly consistent with Instructivism, since knowledge is quantifiable and incrementally administered. In reality, however, learning will occur holistically, in time. As a result, agent measuring and tutoring of the learning process at the end of predetermined causal-time intervals results in Temporal Holes where important events might be taking place. We deal with these holes by modeling the student's learning process rather than the knowledge to be learned. We attempt this by using Agent-prone Modal-Temporal Logic Specifications on a modified Interface Model for a Datastructures Tutor not designed as an Instructional Graph. We demonstrate a prototype software, and provide test examples within three well-known Instructional methods : Didactic, Inquiry and Discovery. We conclude by presenting conclusions and further work strands.