Opening book details…
Can I read Adding a Temporal Dimension to a Logic System on EtoBox?
Adding a Temporal Dimension to a Logic System by Marcelo Finger; Dov M. Gabbay is a Computer Science article available to read on EtoBox.
What is Adding a Temporal Dimension to a Logic System about?
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 ju st"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 made with other first-order approaches to the handling of time.
Who reads Adding a Temporal Dimension to a Logic System?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Marcelo Finger; Dov M. Gabbay
- Publisher
- Springer Netherlands; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC (ISSN 0925-8531)
- Published
- 1992
- Language
- EN
- Field
- Computer Science (Physical Sciences)