First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications (Q6492407)
From MaRDI portal
scientific article; zbMATH DE number 7838031
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications |
scientific article; zbMATH DE number 7838031 |
Statements
First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications (English)
0 references
25 April 2024
0 references
first-order temporal logics
0 references
temporal description logics
0 references
finite traces
0 references
automated reasoning
0 references
