Completeness of temporal logics over infinite intervals

Interval temporal logics over infinite intervals are studied. First, the ordinary possible worlds models are extended to infinite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, infinite intervals are included in a logic over abstract intervals. A corresponding axiomatic system is given and proven to be complete also. (C) 2003 Elsevier B.V. All rights reserved.Mathematics, AppliedSCI(E)EI5ARTICLE187-10313