Jeremy R. Gibbs

• Tableay-based theorem proving in a temporal belief logic