Overview

temporal logic


Show Summary Details

Quick Reference

A modal logic in which the modal operators express notions of time such as “always”, “sometimes”, “strong next”, “weak next”, “next-time”, “last-time”, “interval chop”, “since”, “until”, and “while”. The logical study of reasoning about time has provided new insights and practical techniques for handling time in computations.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.