A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time |
scientific article |
Statements
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (English)
0 references
11 November 2009
0 references
interval temporal logic
0 references
completeness proof
0 references
fusion product
0 references
0 references
