A Survey on Temporal Logics
Savas Konur · arXiv (Cornell University) · 2010
This paper surveys main and recent studies on temporal logics in a broad sense by presenting various logic systems, dealing with various time structures, and discussing important features, such as decidability (or undecidability) results, expressiveness and proof systems.