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

Type  report
Stage   submitted
Date   2010-09-20
Version   v2
Language   en ?
Number  ULCS-08-021
arXiv  1005.3199v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b6074597-0f1f-47c7-93ff-1a48b4980274
API URL: JSON