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 ...
This thesis investigates why there is still no ‘final’ physical theory of the universe despite the enormous resources involved. Current physical and philosophical methodologies are examined leading to a new strategy. The ...