Completeness of temporal logics over infinite intervals. (Q1421487): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4494114 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4040429 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4002642 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A calculus of durations / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Revision as of 14:19, 6 June 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
