Invertible infinitary calculus without loop rules for restricted FTL (Q2577594)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Invertible infinitary calculus without loop rules for restricted FTL |
scientific article |
Statements
Invertible infinitary calculus without loop rules for restricted FTL (English)
0 references
3 January 2006
0 references
temporal logic
0 references
infinitary proof rules
0 references
infinite induction
0 references
fragment of first-order linear time logic
0 references
\(t\)-\(D\)-sequents
0 references
invertible infinitary sequent calculus
0 references
integrated separation rule
0 references
0 references
0 references
0 references
0 references
0 references
0 references
