n South African Computer Journal - Time structures in temporal logics : research article




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...

This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error