# A complete axiom system for propositional projection temporal logic with cylinder computation model

> Research article (Theoretical Computer Science, 2015) · cited 10× · AI/ML

**Wikidata**: [openalex:W346741227](https://www.wikidata.org/wiki/openalex:W346741227)  
**Source**: https://4ort.xyz/entity/a-complete-axiom-system-for-propositional-projection-temporal-logic-with-cylinder-computation-model