Completeness of temporal logics over infinite intervals. (Q1421487)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness of temporal logics over infinite intervals. |
scientific article |
Statements
Completeness of temporal logics over infinite intervals. (English)
0 references
26 January 2004
0 references
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.
0 references
interval temporal logic
0 references
completeness
0 references
Henkin's construction
0 references
