Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689)
From MaRDI portal
scientific article; zbMATH DE number 487146
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability and incompleteness results for first-order temporal logics of linear time |
scientific article; zbMATH DE number 487146 |
Statements
Decidability and incompleteness results for first-order temporal logics of linear time (English)
0 references
21 January 1994
0 references
axiomatizability
0 references
first-order temporal logics
0 references
semantics
0 references
validity problem
0 references
flexible interpretations of the predicate symbols
0 references
rigid monadic predicate symbols
0 references
