Logic Column 11: The Finite and the Infinite in Temporal Logic

Details Logic Column 11: The Finite and the Infinite in Temporal Logic Logic Column 11: The Finite and the Infinite in Temporal Logic

2005-02-05

arxiv.org/abs/cs/0502031v2

SIGACT News, 36(1), pp. 86-99, 2005

Computer Science

Logic in Computer Science

14 pages

Scientific paper

This article examines the interpretation of the LTL temporal operators over
finite and infinite sequences. This is used as the basis for deriving a sound
and complete axiomatization for Caret, a recent temporal logic for reasoning
about programs with nested procedure calls and returns.

Affiliated with

Also associated with

No associations

Rating

Logic Column 11: The Finite and the Infinite in Temporal Logic 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 Logic Column 11: The Finite and the Infinite in Temporal Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Column 11: The Finite and the Infinite in Temporal Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-205205