Expressive Completeness for Metric Temporal Logic (Q5271072)
From MaRDI portal
scientific article; zbMATH DE number 6738815
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressive Completeness for Metric Temporal Logic |
scientific article; zbMATH DE number 6738815 |
Statements
Expressive Completeness for Metric Temporal Logic (English)
0 references
3 July 2017
0 references
metric temporal logic
0 references
linear temporal logic
0 references
first-order logic
0 references
expressive completeness
0 references
