\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844)
From MaRDI portal
scientific article; zbMATH DE number 7742414
Language | Label | Description | Also known as |
---|---|---|---|
English | \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes |
scientific article; zbMATH DE number 7742414 |
Statements
\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (English)
0 references
27 September 2023
0 references
interval temporal logic
0 references
satisfiability
0 references
model checking
0 references
0 references
0 references
0 references
0 references
0 references