A Tableau Method for Interval Temporal Logic with Projection.

Howard Bowman, Simon J. Thompson

Browse the full TABLEAUX paper archive.