A non-reified temporal logic

DOI10.1016/0004-3702(91)90025-FMaRDI QIDQ1190791zbMATH OpenOpenAlexFDO

Authors Fahiem Bacchus, Josh Tenenberg, Johannes A. Koomen

Publication date 26 September 1992

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(91)90025-f

axiomatization proof theory temporal logic temporal propositions

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Review text

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 [\textit{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.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: A non-reified temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190791)