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 application/pdf.
A Tableau for Until and Since over Linear Time
2011
2011 Eighteenth International Symposium on Temporal Representation and Reasoning
Preserved Fulltext
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