Ben C. Moszkowski. A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. Journal of Applied Non-Classical Logics, 14(1-2):55-104, 2004.
No references recorded for this publication.
No citations of this publication recorded.