Title: Tableay-based theorem proving in a temporal belief logic