Temporal Logic," (2001)

by Yde Venema
Venue:The Blackwell Guide to Philosophical Logic. Blackwell