Adding a temporal dimension to a logic system

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
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,300
Through your library
References found in this work BETA
Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
A Deduction Model of Belief.Kurt Konolige - 1986 - Morgan Kaufmann Publishers.
Labelled Deductive Systems.Dov M. Gabbay - 1996 - Oxford University Press.

View all 11 references / Add more references

Citations of this work BETA
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.
A System of Dynamic Modal Logic.de Rijke Maarten - 1998 - Journal of Philosophical Logic 27 (2):109-142.
Fibred Semantics for Feature-Based Grammar Logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.

View all 12 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.
Added to PP index
2009-01-28

Total downloads
38 ( #139,549 of 2,193,086 )

Recent downloads (6 months)
1 ( #290,277 of 2,193,086 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature