Temporal Logic. Stanford Encyclopedia of Philosophy (2003)

by A Galton