Completeness of temporal logics over infinite intervals. (Q1421487)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Completeness of temporal logics over infinite intervals. |
scientific article; zbMATH DE number 2032831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness of temporal logics over infinite intervals. |
scientific article; zbMATH DE number 2032831 |
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
