Epistemic and temporal reasoning
Dov M. Gabbay, Christopher John Hogger, John A. Robinson · Oxford University Press eBooks · 1995
1: Reasoning about knowledge: a survey. 2: Belief revision. 3: Epistemic aspects of databases. 4: Time and change for AI. 5: Temporal logic. 6: Towards a computational treatment of time. 7: Non montonic temporal reasoning. 8: Modal deduction with applications in epistemic and temporal logic