Ben C. Moszkowski A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:55-104 [Journal]
Rodolfo Gómez, Howard Bowman PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:105-148 [Journal]
Dimitar P. Guelev, Dang Van Hung A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:149-180 [Journal]
Dimitar P. Guelev Logical Interpolation and Projection onto State in the Duration Calculus. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:181-208 [Journal]