A decision procedure for a temporal belief logic (1994)

by M Wooldridge, M Fisher
Venue:Temporal Logic — Proceedings of the First International Conference (LNAI Volume 827