# zbMATH — the first resource for mathematics

A non-reified temporal logic. (English) Zbl 0762.03009
The authors present a temporal logic BTK for propositions whose truth values might change as a function of time. The logic is based on a sorted first-order logic where predicates take additional temporal arguments. Temporal and non-temporal values are separated into two disjoint sorts. The semantics of formulae is defined using standard interpretation models for two-sorted predicate logics. The authors discuss issues of proof theory and axiomatization for their logic.
The second part of the paper discusses the relation of the presented logic to Shoham’s logic [Y. Shoham, ibid. 33, 89-104 (1987; Zbl 0633.68014)]. In Shoham’s logic temporal arguments are not added as parameters to arbitrary predicates. A special predicate TRUE (defining a so-called reifying context), having as parameters two temporal values and a predicate term, models temporal information. After a discussion of differences between both logics the subsumption of Shoham’s logic by BTK is shown.

##### MSC:
 03B45 Modal logic (including the logic of norms) 68T27 Logic in artificial intelligence 68T30 Knowledge representation
Full Text:
##### References:
 [1] Ahn, I., Towards an implementation of database management systems with temporal support, (), 374-381 [2] Allen, J.F., Maintaining knowledge about temporal intervals, Commun. ACM, 26, 11, 832-843, (1983) · Zbl 0519.68079 [3] Allen, J.F., Towards a general theory of action and time, Artif. intell., 23, 2, 123-154, (1984) · Zbl 0567.68025 [4] Allen, J.F.; Hayes, P.J., A commonsense theory of time, (), 528-531 [5] Allen, J.F.; Kautz, H.A.; Pelavin, R.; Tenenberg, J., () [6] Barwise, J., First-order logic, () · Zbl 0215.31806 [7] Dowty, D.R.; Wall, R.E.; Peters, S., Synthese language library, () [8] Green, C.C., Application of theorem proving to problem solving, (), 202-222, also in [9] Halpern, J.Y.; Shoham, Y., A propositional modal logic of time intervals, () · Zbl 0799.68175 [10] Haugh, B.A., Non-standard semantics for the method of temporal arguments, (), 449-455 [11] Hayes, P.J.; Allen, J.F., Short time periods, () [12] Herbrand, J., Recherches sur la theorie de la demonstration, Ph.D. thesis, Paris, (1930) · JFM 56.0824.02 [13] Koomen, J.A., Reasoning about recurrence, (), URCS TR-307 · Zbl 0734.68086 [14] Ladkin, P.B., The completeness of a natural system for reasoning with time intervals, (), 462-467 [15] Ladkin, P.B., Satisfying first-order constraints about time intervals, (), 512-517 [16] Lifschitz, V., A theory of action, () · Zbl 0718.68019 [17] McCarthy, J.; Hayes, P.J., Some philosophical problems from the standpoint of artificial intelligence, (), 431-450, also in · Zbl 0226.68044 [18] Shoenfield, J.R., () [19] Shoham, Y., Temporal logics in AI: semantical and ontological considerations, Artif. intell., 33, 1, 89-104, (1987) · Zbl 0633.68014 [20] Tarski, A., () [21] Walther, C., Research notes in artificial intelligence, () [22] Wang, H., Logic of many-sorted theories, J. symbolic logic, 17, (1952) · Zbl 0049.14802 [23] ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.