A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is
A Tableau for Until and Since over Linear Time
2011 Eighteenth International Symposium on Temporal Representation and Reasoning
We use mosaics and games to provide a simple, sound and complete tableau reasoning procedure for the temporal logic of until and since over general linear time.doi:10.1109/time.2011.29 dblp:conf/time/Reynolds11 fatcat:q77ym4u3vbahvdoj6bydsbiuwq