A time-model invariant fragment of metric temporal logic

MaRDI QIDQ5224784zbMATH OpenFDO

Authors Antónia Lopes, José Fiadeiro

Publication date 24 July 2019

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Metric temporal logic revisited
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• Mixed-time signal temporal logic
• A theory of sampling for continuous-time metric temporal logic
• HRELTL: a temporal logic for hybrid systems

Cited in

(7)

• Metric temporal logic revisited
• scientific article; zbMATH DE number 5587267 (Why is no real title available?)
• Stable Models for Temporal Theories
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• Integrated Formal Methods
• Parametric Metric Interval Temporal Logic
• On Metric Temporal Łukasiewicz Logic

This page was built for publication: A time-model invariant fragment of metric temporal logic

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