A Survey on Temporal Logics

Details A Survey on Temporal Logics A Survey on Temporal Logics

2010-05-18

arxiv.org/abs/1005.3199v3

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Survey on Temporal Logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Survey on Temporal Logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Survey on Temporal Logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-58179