Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals (Q5432675)
From MaRDI portal
scientific article; zbMATH DE number 5221211
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals |
scientific article; zbMATH DE number 5221211 |
Statements
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals (English)
0 references
17 December 2007
0 references
axiomatic completeness
0 references
decision procedures
0 references
interval temporal logic
0 references
small models
0 references
