Synchronized Linear-Time Temporal Logic |
| |
| Authors: | Heinrich Wansing Norihiro Kamide |
| |
| Affiliation: | 1. Department of Philosophy II, Ruhr University Bochum, Universit?tsstra?e 150, 44780, Bochum, Germany
2. Waseda Institute for Advanced Study, 1-6-1 Nishi Waseda, Shinjuku-ku, Tokyo, 169-8050, Japan
|
| |
| Abstract: | A new combined temporal logic called synchronized linear-time temporal logic (SLTL) is introduced as a Gentzen-type sequent calculus. SLTL can represent the n-Cartesian product of the set of natural numbers. The cut-elimination and completeness theorems for SLTL are proved. Moreover, a display sequent calculus ??SLTL is defined. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
