Authors
Dov Gabbay
Hebrew University of Jerusalem
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.
Keywords logic  temporal logic  temporal reasoning  historical databases  database updates
Categories (categorize this paper)
DOI 10.1007/BF00156915
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,608
Through your library

References found in this work BETA

Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Labelled Deductive Systems.Dov M. Gabbay - 1996 - Oxford University Press.
Properties of Independently Axiomatizable Bimodal Logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.

View all 11 references / Add more references

Citations of this work BETA

Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.

View all 29 citations / Add more citations

Similar books and articles

Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.
Temporal Languages for Epistemic Programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
An Extended Branching-Time Ockhamist Temporal Logic.Mark Brown & Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (2):143-166.
Naming Worlds in Modal and Temporal Logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Primitive Worlds.Takashi Yagisawa - 2002 - Acta Analytica 17 (1):19-37.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.

Analytics

Added to PP index
2009-01-28

Total views
80 ( #121,066 of 2,385,937 )

Recent downloads (6 months)
5 ( #160,569 of 2,385,937 )

How can I increase my downloads?

Downloads

My notes