Temporal patterns and modal structure (Q4238498)
From MaRDI portal
scientific article; zbMATH DE number 1271172
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Temporal patterns and modal structure |
scientific article; zbMATH DE number 1271172 |
Statements
Temporal patterns and modal structure (English)
0 references
23 February 2000
0 references
bisimulation
0 references
temporal languages
0 references
tree unraveling
0 references
bounded quantifier
0 references
path geometry
0 references
dynamic evaluation
0 references
dynamic representation
0 references
survey
0 references
temporal logic
0 references
modal logics
0 references
temporal geometry
0 references
temporal structures in natural language
0 references
