Completeness of temporal logics over infinite intervals.
type: Item
instance of: scholarly article
title: Completeness of temporal logics over infinite intervals.
zbMATH Open document ID: 1040.03012
DOI: 10.1016/S0166-218X(03)00201-4
author: Hanpin Wang
author: Qiwen Xu
published in: Discrete Applied Mathematics
publication date: 2004-01-26T00:00:00Z
review text: The axiomatization of interval temporal logic over infinite intervals is studied in the style of [\textit{Dutertre}, ``Complete proof systems for first-order interval temporal logic'', Proc. LICS, 36--43 (1995)] and Henkin's classical construction method. The two proof systems given by Dutertre for interval temporal logic on possible worlds and abstract intervals, respectively, are extended to infinite cases, and their completeness is proved.
reviewed by: Manuel Ojeda-Aciego
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 2032831
zbMATH Keywords: interval temporal logic
zbMATH Keywords: completeness
zbMATH Keywords: Henkin's construction
MaRDI profile type: Publication
cites work: Q4494114
cites work: Q4040429
cites work: Q4002642
cites work: A calculus of durations
full work available at URL: s0166-218x(03)00201-4
OpenAlex ID: W2003523243
description: scientific article; zbMATH DE number 2032831