Temporal logics

Horne, Tertia

dc.contributor.advisor	Pretorius, Laurette
dc.contributor.advisor	Labuschagne, Willem
dc.contributor.author	Horne, Tertia	en
dc.date.accessioned	2015-01-23T04:24:48Z
dc.date.available	2015-01-23T04:24:48Z
dc.date.issued	1999-09	en
dc.identifier.citation	Horne, Tertia (1999) Temporal logics, University of South Africa, Pretoria, <http://hdl.handle.net/10500/16966>	en
dc.identifier.uri	http://hdl.handle.net/10500/16966
dc.description.abstract	We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation of the accessibility relations of the underlying temporal structures when we are using a modal language as well as the formulation of axioms for distinguishing concepts like actions, events, processes and so on for systems using first-order languages. Finally, we briefly discuss the fields of application of temporal logics and list a number of fields that looks promising for further research.
dc.format.extent	1 electronic resourse (126 leaves)	en
dc.language.iso	en
dc.subject	Temporal logic
dc.subject	Temporal reasoning
dc.subject	Time structures
dc.subject	Interval logic
dc.subject	Axiomatisation
dc.subject	Causality
dc.subject.ddc	005.131	en
dc.subject.lcsh	Logic, Symbolic and mathematical.	en
dc.subject.lcsh	Logic programming.	en
dc.subject.lcsh	System design.	en
dc.subject.lcsh	Space and time.	en
dc.subject.lcsh	Artificial intelligence.	en
dc.subject.lcsh	Computer programming	en
dc.title	Temporal logics	en
dc.type	Dissertation
dc.description.department	Computer Science and Information Systems
dc.description.degree	M.Sc.(Computer Science)	en