The primary objective of this study is to develop a framework for an activity-based computer programming instructional approach in a blended learning environment of Higher Education Institutions. The impetus for this study ...
We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation ...