A Survey on Temporal Logics
Logic in Computer Science
2013-08-06 v3
Abstract
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.
Keywords
Cite
@article{arxiv.1005.3199,
title = {A Survey on Temporal Logics},
author = {Savas Konur},
journal= {arXiv preprint arXiv:1005.3199},
year = {2013}
}