Encyclopedia of Database Systems

2009 Edition
| Editors: LING LIU, M. TAMER ÖZSU

Temporal Logic

Reference work entry
DOI: https://doi.org/10.1007/978-0-387-39940-9_3766
How to cite

 Time in Philosophical Logic

Copyright information

© Springer Science+Business Media, LLC 2009