| Residential College | false |
| Status | 已發表Published |
| Completeness of temporal logics over infinite intervals | |
Wang H.2; Xu Q.1
| |
| 2004-01-30 | |
| Source Publication | Discrete Applied Mathematics
 |
| ABS Journal Level | 2 |
| ISSN | 0166218X |
| Volume | 136Issue:1Pages:87-103 |
| Abstract | Interval temporal logics over infinite intervals are studied. First, the ordinary possible worlds models are extended to infinite possible world models. Accordingly, an axiomatic system is proposed and it has been proved complete. Secondly, infinite intervals are included in a logic over abstract intervals. A corresponding axiomatic system is given and proven to be complete also. © 2003 Elsevier B.V. All rights reserved. |
| Keyword | Completeness Henkin's Construction Interval Temporal Logic |
| DOI | 10.1016/S0166-218X(03)00201-4 |
| URL | View the original |
| Indexed By | SCIE |
| Language | 英語English |
| WOS Research Area | Mathematics |
| WOS Subject | Mathematics, Applied |
| WOS ID | WOS:000187756000009 |
| Scopus ID | 2-s2.0-0346960983 |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Journal article |
| Collection | DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE |
| Affiliation | 1.Universidade de Macau 2.Peking University |
| Recommended Citation GB/T 7714 | Wang H.,Xu Q.. Completeness of temporal logics over infinite intervals[J]. Discrete Applied Mathematics, 2004, 136(1), 87-103. |
| APA | Wang H.., & Xu Q. (2004). Completeness of temporal logics over infinite intervals. Discrete Applied Mathematics, 136(1), 87-103. |
| MLA | Wang H.,et al."Completeness of temporal logics over infinite intervals".Discrete Applied Mathematics 136.1(2004):87-103. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment