ISSN:
1572-9583
Schlagwort(e):
logic
;
temporal logic
;
temporal reasoning
;
historical databases
;
database updates
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Allgemeine und vergleichende Sprach- und Literaturwissenschaft. Indogermanistik. Außereuropäische Sprachen und Literaturen
,
Informatik
Notizen:
Abstract We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF00156915