A non-reified temporal logic
type: Item
instance of: scholarly article
title: A non-reified temporal logic
zbMATH Open document ID: 0762.03009
DOI: 10.1016/0004-3702(91)90025-F
author: Fahiem Bacchus
author: Josh Tenenberg
author: Johannes A. Koomen
published in: Artificial Intelligence
publication date: 1992-09-26T00:00:00Z
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.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 56242
zbMATH Keywords: temporal propositions
zbMATH Keywords: temporal logic
zbMATH Keywords: proof theory
zbMATH Keywords: axiomatization
reviewed by: Gunter Saake
MaRDI profile type: Publication
cites work: Maintaining knowledge about temporal intervals
cites work: Towards a general theory of action and time
cites work: Infinitary logic and admissible sets
cites work: Q3964033
cites work: A propositional modal logic of time intervals
cites work: Reasoning about recurrence
cites work: Q5750390
cites work: Q5633670
cites work: Q5537599
cites work: Temporal logics in AI: semantical and ontological considerations
cites work: Q5807665
cites work: Q3992821
cites work: Logic of many-sorted theories
full work available at URL: 0004-3702(91)90025-f
OpenAlex ID: W2110415540
description: scientific article; zbMATH DE number 56242