Completeness of temporal logics over infinite intervals. (Q1421487): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:17, 5 March 2024
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