Metric temporal logic with durations

DOI10.1016/0304-3975(94)00151-8MaRDI QIDQ673880zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

metric temporal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

Cites work

• scientific article; zbMATH DE number 4153903 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 1318522 (Why is no real title available?)
• scientific article; zbMATH DE number 3004117 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A Modal Logic for Chopping Intervals
• A calculus of durations
• Constraint logic programming for reasoning about discrete event processes
• Defining liveness
• Hybrid systems
• Specification and compositional verification of real-time systems
• Specifying message passing and time-critical systems with temporal logic
• The Weak Byzantine Generals Problem

Cited in

(10)

• On Metric Temporal Łukasiewicz Logic
• scientific article; zbMATH DE number 5587267 (Why is no real title available?)
• Temporal semantics for concurrent METATEM
• Theoretical Aspects of Computing – ICTAC 2005
• Monotonic hybrid systems
• On metric temporal description logics
• Parametric Metric Interval Temporal Logic
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• Temporal logic as filtering
• Metric temporal logic revisited

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)