An infinitary variant of Metric Temporal Logic over dense time domains (Q4736752)
From MaRDI portal
scientific article; zbMATH DE number 2081814
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An infinitary variant of Metric Temporal Logic over dense time domains |
scientific article; zbMATH DE number 2081814 |
Statements
An infinitary variant of Metric Temporal Logic over dense time domains (English)
0 references
6 August 2004
0 references
metric temporal logic
0 references
infinitary logic
0 references
sequent calculus
0 references
