Towards an Axiomatic Theory of Consciousness

In this paper we seek to provide elements of an axiomatic theory for a sentient consciousness as a quanti ed 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 that an agent's internal activities and its perception of external processes can be represented more faithfully. The need for agent consciousness research is briey discussed