n South African Computer Journal - Time structures in temporal logics : research article
|Article Title||Time structures in temporal logics : research article|
|© Publisher:||South African Computer Society (SAICSIT)|
|Journal||South African Computer Journal|
|Author||T. Horne and L. Pretorius|
|Publication Date||Jun 2003|
|Pages||42 - 51|
|Keyword(s)||Axiomatisation, F.4.1, I.2.4., Modal logic, Temporal logic and Time structures|
There has been a notable increase recently in the use of temporal logic in new applications, often requiring special and appropriate time structures. The purpose of this paper is to explore ways in which axioms may be used to impose certain properties on the underlying time structure of a temporal logic. We also show why the axiomatisation of properties of the relevant accessibility relations of such a logic needs to be coupled to frames rather than to classes of models.
Article metrics loading...