Metric temporal logic with durations

DOI10.1016/0304-3975(94)00151-8zbMATH Open0874.68270OpenAlexW2049387852MaRDI QIDQ673880FDOQ673880

Authors: Yassine Lakhnech, Jozef Hooman 

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00151-8

Recommendations

• Some Recent Results in Metric Temporal Logic
• Metric temporal logic revisited
• Duration calculus: Logical foundations
• scientific article; zbMATH DE number 7056237
• Model-checking discrete duration calculus

zbMATH Keywords

metric temporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Modal Logic for Chopping Intervals
• The Weak Byzantine Generals Problem
• A calculus of durations
• Defining liveness
• Specification and compositional verification of real-time systems
• Hybrid systems
• Title not available (Why is that?)
• Constraint logic programming for reasoning about discrete event processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifying message passing and time-critical systems with temporal logic

Cited In (10)

• Title not available (Why is that?)
• Metric temporal logic revisited
• Theoretical Aspects of Computing – ICTAC 2005
• Temporal logic as filtering
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• Monotonic hybrid systems
• On metric temporal description logics
• Parametric Metric Interval Temporal Logic
• On Metric Temporal Łukasiewicz Logic
• Temporal semantics for concurrent METATEM

This page was built for publication: Metric temporal logic with durations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673880)