BibTeX
CSL-JSON
MLA
Harvard
A Survey on Temporal Logics
release_7lymehx4tbdwvf6y7bbumy72we
by
Savas Konur
Released
as a report
.
2010
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.
In text/plain
format
Archived Content
There are no accessible files associated with this release. You could check other releases for this work for an accessible version.
"Dark" Preservation Only
Save Paper Now!
Know of a fulltext copy of on the public web? Submit a URL and we will archive it
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links