Concept

Metric interval temporal logic

Overview

In model checking, the Metric Interval Temporal Logic (MITL) is a fragment of Metric Temporal Logic (MTL). This fragment is often preferred to MTL because some problems that are undecidable for MTL become decidable for MITL.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Truth value
• Natural number
• Model checking
• Metric temporal logic

Place in the tradition

Part of Temporal logic.

Explore Metric interval temporal logic in the interactive graph →