Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic (Q5942197)
From MaRDI portal
scientific article; zbMATH DE number 1638050
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic |
scientific article; zbMATH DE number 1638050 |
Statements
Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic (English)
0 references
29 January 2002
0 references
infinitary calculus
0 references
restricted first-order linear temporal logic
0 references
sequent calculus without loop rules
0 references
