A Tableau for Until and Since over Linear Time

Mark Reynolds
2011 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