Adding a temporal dimension to a logic system Export

@article{citeulike:5031900, 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.}, author = {Finger, Marcelo and Gabbay, Dov M.}, citeulike-article-id = {5031900}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BF00156915}, citeulike-linkout-1 = {http://www.springerlink.com/content/k426286w05643104}, day = {1}, doi = {10.1007/BF00156915}, journal = {Journal of Logic, Language and Information}, keywords = {logic, maths}, month = {September}, number = {3}, pages = {203--233}, posted-at = {2009-07-01 11:41:08}, priority = {4}, title = {Adding a temporal dimension to a logic system}, url = {http://dx.doi.org/10.1007/BF00156915}, volume = {1}, year = {1992} }

TY - JOUR ID - citeulike:5031900 L3 - citeulike-article-id:5031900 N2 - 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. IS - 3 JF - Journal of Logic, Language and Information EP - 233 TI - Adding a temporal dimension to a logic system VL - 1 SP - 203 KW - logic KW - maths AU - Finger, Marcelo AU - Gabbay, Dov PY - 1992/09/01/ UR - http://dx.doi.org/10.1007/BF00156915 ER -