In this paper we seek to provide elements of an axiomatic theory for a sentient consciousness as a quantified form of introspective awareness. A crucial step for its formulation is use of an interval temporal logic to give expression to on-going conditions such as those represented by the progressive aspect in natural language. In this way we are able to enrich more stative mental models so...