No label defined (Q4006522)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
26 September 1992
0 references
Beth definability
0 references
temporal logics
0 references
temporal frames
0 references
interpolation
0 references
Until
0 references
Past
0 references
